Index: trunk/tools/rotatebot/rotbot.php |
— | — | @@ -16,7 +16,6 @@ |
17 | 17 | */ |
18 | 18 | |
19 | 19 | include("settings.php"); |
20 | | -$myLockfile = $homedir."rotatebotlock"; |
21 | 20 | |
22 | 21 | ini_set('memory_limit', '100M'); //Speicher auf 100 MBytes hochsetzen |
23 | 22 | ini_set('user_agent', $useragent); |
— | — | @@ -1019,7 +1018,7 @@ |
1020 | 1019 | if ($dontDieOnLockProblems) { |
1021 | 1020 | logfile("Could not get lock. Lock file already present. DontDieMode prevents death."); |
1022 | 1021 | } else { |
1023 | | - die("Could not get lock. Lock file already present. Exit."); |
| 1022 | + die("Could not get lock. Lock file already present. Exit.\n"); |
1024 | 1023 | } |
1025 | 1024 | } |
1026 | 1025 | } |
Index: trunk/tools/rotatebot/settings.php |
— | — | @@ -17,3 +17,4 @@ |
18 | 18 | $katname = ""; |
19 | 19 | $cookies = array(); |
20 | 20 | |
| 21 | +$myLockfile = '/tmp/rotatebotlock'; |
Index: trunk/tools/rotatebot/upload.php |
— | — | @@ -70,7 +70,7 @@ |
71 | 71 | function wiki_upload_file ($filename_local,$filename_wiki,$license,$desc,$wiki,$cookies) |
72 | 72 | { |
73 | 73 | global $homedir; |
74 | | - $file1 = file_get_contents($homedir . "cache/".$filename_local) or die("Fehler - Datei nicht gefunden! ($filename_local)"); |
| 74 | + $file1 = file_get_contents($homedir . "cache/".$filename_local) or die("Fehler - Datei nicht gefunden! ($filename_local)\n"); |
75 | 75 | |
76 | 76 | $data_l = array("file.file" => $file1, |
77 | 77 | "wpDestFile" => $filename_wiki, |