";
} else {
//echo "/usr/bin/vaultsterclient ".$server." ".$player." ".$character;
echo " ";
$result = system("/usr/bin/vaultsterclient ".$server." ".$player." ".$character, $return_val);
if($return_val === FALSE) {
echo "There was a problem with the system call. Contact the Infra Admin. ";
}
}
?>