diff options
Diffstat (limited to 'sourcecodes/executionprogress.php')
| -rw-r--r-- | sourcecodes/executionprogress.php | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/sourcecodes/executionprogress.php b/sourcecodes/executionprogress.php index 99483a02..6bdec524 100644 --- a/sourcecodes/executionprogress.php +++ b/sourcecodes/executionprogress.php @@ -3,9 +3,9 @@ include("header_new.inc"); include("runtime_check.php"); +include("input_validate.php"); - -$keyval=$_GET["My_key"]; +$keyval=valid_keyval($_GET["My_key"]); $dir="./data/"; //number of parents @@ -28,6 +28,7 @@ $runtime=exe_time($keyval,$parent_number,$k_number); <div> <p><h3><?php +print("Network ID: $keyval<br/>"); print("Estimated run time: $runtime seconds"); ?> <br><br></h3> |