release 1.3.1

2019-06-30 18:20:51 +02:00
parent a4327efd80
commit e56cace8c5
56 changed files with 2737 additions and 1398 deletions
--- a/worker.php
+++ b/worker.php
@@ -156,8 +156,8 @@ function stop() {
 		if (checkProcess($pid) == TRUE) {
 			echo " [Failed]\n";
 		} else {
+			file_put_contents($GLOBALS['autostart'],"");
 			echo " [OK]\n";
-			touch($GLOBALS['autostart']);
 		}
 	} else {
 		unlink($GLOBALS['pidfile']);