Code Editor : server_status_queries.js