*** test_automat.php 2002-04-18 12:46:16.000000000 -0600 --- /home/httpd/html/kiwa/automats/test_automat.php 2003-06-01 19:08:49.000000000 -0600 *************** *** 128,137 **** echo("</TABLE>"); } ! if ($automat=="") { ?> <html> <body> <form name="my_form" method="post"> <table> <tr> --- 128,138 ---- echo("</TABLE>"); } ! if ($_POST['automat']=="") { ?> <html> <body> + <!-- automat is empty --> <form name="my_form" method="post"> <table> <tr> *************** *** 168,178 **** <? exit(); } ! $filename=$automat.".xml"; if (!$flux=file($filename)) { ?> <html> <body> <form name="my_form" method="post"> <table> <tr><td colspan=2 align=center><font color=red>Error while trying to load file <?=$filename ?>, please enter a valid automat file name...</font></td></tr> --- 169,181 ---- <? exit(); } ! $filename=$_POST['automat'].".xml"; if (!$flux=file($filename)) { ?> <html> <body> + <? echo phpinfo(); ?> + <!-- automat is not empty --> <form name="my_form" method="post"> <table> <tr><td colspan=2 align=center><font color=red>Error while trying to load file <?=$filename ?>, please enter a valid automat file name...</font></td></tr> *************** *** 203,213 **** if (!xml_parser_free($parser)) { exit(); } ! if ($dump_index) { echo("XML INDEX<br>"); dump_struct($index); } ! if ($dump_values) { echo("XML VALUES<br>"); dump_struct($values); } --- 206,216 ---- if (!xml_parser_free($parser)) { exit(); } ! if ($_POST['dump_index']) { echo("XML INDEX<br>"); dump_struct($index); } ! if ($_POST['dump_values']) { echo("XML VALUES<br>"); dump_struct($values); } *************** *** 276,290 **** ?> <a href="<?=$SCRIPT_NAME ?>">Restart</a><br><br> <? ! if ($dump_startnodes) { echo("STARTNODES INDEX<br>"); dump_struct($startnodes); } ! if ($edit_automat) { echo("automat Editor<br>"); edit_struct($res); } ! if ($dump_automat) { echo("automat STRUCTURE<br>"); dump_struct($res); } --- 279,293 ---- ?> <a href="<?=$SCRIPT_NAME ?>">Restart</a><br><br> <? ! if ($_POST['dump_startnodes']) { echo("STARTNODES INDEX<br>"); dump_struct($startnodes); } ! if ($_POST['edit_automat']) { echo("automat Editor<br>"); edit_struct($res); } ! if ($_POST['dump_automat']) { echo("automat STRUCTURE<br>"); dump_struct($res); }