Use new `runTerminalCommand()` wrapper to run commands.

1 files changed, 4 insertions, 1 deletions

diff --git a/sourcecodes/bn_file_load_gom.php b/sourcecodes/bn_file_load_gom.php
index a09c8bf0..4f5945e2 100644
--- a/sourcecodes/bn_file_load_gom.php
+++ b/sourcecodes/bn_file_load_gom.php
@@ -11,6 +11,8 @@ include("header_new.inc");
 include("header_batchsearch.inc");
 include("runtime_check.php");
 include("input_validate.php");
+require("terminal_commands.php");
+
 $searchID="";
 $UploadValue="NO";
 
@@ -147,7 +149,8 @@ if($searchID!="")
       }
   }  
   $keyval = valid_keyval($keyval);
-  shell_exec('./run_scripts/run_prep_input '.$keyval);
+  runTerminalCommand(// assumes /tmp/bnw exists
+      [realpath(__DIR__.'/run_scripts/run_prep_input'), $keyval]);
   $parent_number=4;
   $k_number=1;
   $runtime=exe_time($keyval,$parent_number,$k_number);