Trying out old settings with localhost if prefix is bht_

mckeownp · Mar 4, 2024 · 87f7500 · 87f7500
1 parent e0f7ac9
commit 87f7500
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/classes/jobesandbox.php b/classes/jobesandbox.php
@@ -260,7 +260,7 @@ public function execute($sourcecode, $language, $input, $files = null, $params =
                 $errorcode = $okresponse ? self::UNKNOWN_SERVER_ERROR : $this->get_error_code($httpcode);
                 $this->currentjobid = null;
                 $runresult['error'] = $errorcode;
-                $runresult['stderr'] = "HTTP response from Jobe was $httpcode: " . json_encode($this->response);
+                $runresult['stderr'] = "HTTP response from Jobe (" . $this->jobeserver . ") was $httpcode: " . json_encode($this->response);
             } else if ($this->response->outcome == self::RESULT_SERVER_OVERLOAD) {
                 $runresult['error'] = self::SERVER_OVERLOAD;
             } else {
@@ -343,7 +343,7 @@ private function get_main_class($prog) {
         }
     }
 
-	
+
 
     // Return the sandbox error code corresponding to the given httpcode.
     private function get_error_code($httpcode) {