lyx_mirror/development/lyxserver/server_monitor.pro