json extension was added

2024-11-27 12:25:10 +01:00
parent 863e744c5c
commit df18fcc2f8
1 changed files with 4 additions and 3 deletions
--- a/functions.php
+++ b/functions.php
@@ -289,7 +289,7 @@ function set_output($op,$output) {
 		redis_set($op,$output);
 	}
 	else {
-		file_put_contents($SHARED_DIR."/input/".$op,$output);
+		file_put_contents($SHARED_DIR."/input/".$op.".json",$output);
 	}

 	return true;
@@ -299,8 +299,9 @@ function check_files($dir,$key) {

 	global $SHARED_DIR;

-	if (file_exists($SHARED_DIR."/{$dir}/".$key)) {
-		$arr[$key] = file_get_contents($SHARED_DIR."/{$dir}/".$key);
+	$input_file = $SHARED_DIR."/{$dir}/".$key.".json";
+	if (file_exists($input_file)) {
+		$arr[$key] = file_get_contents($input_file);
 	}
 	else $arr = "";