?>
}
} else {
header('Content-Type: application/json');
if(isset($_SESSION['history'])){
<?php
print json_encode($reply);
$reply=array();
$reply['history']=$_SESSION['history'];
$reply['status']="error: no history. Execute newGame.php first.";
$reply['status']='ok';
session_save_path("sess");
session_start(); 
