Server erreichbar?

[Bernhard Mecl]

Ich dachte da an sowas wie 'ping'

exec('ping -c 1 der.game.server',$output,$return);

if($return!=0) {
  // nope...
} else {
  // up and running
}