Function java_server_name
Returns the name of the back-end or null, if the back-end is not running.
Example:
$backend = java_server_name(); if(!$backend) wakeup_administrator("back-end not running"); echo "Connected to the back-end: $backend\n";
Returns the name of the back-end or null, if the back-end is not running.
Example:
$backend = java_server_name(); if(!$backend) wakeup_administrator("back-end not running"); echo "Connected to the back-end: $backend\n";