diff options
| author | Andrew Dolgov <[email protected]> | 2013-04-18 00:20:47 +0400 |
|---|---|---|
| committer | Andrew Dolgov <[email protected]> | 2013-04-18 00:20:47 +0400 |
| commit | c8784bceecfd4aef7240a3daf07401fb923db804 (patch) | |
| tree | 57116866f33d6ec8dc91d63b0c1eb073465986a1 /update.php | |
| parent | b6a74295915fb354543eadf6c1b658e15faefef7 (diff) | |
| parent | 6b7bc706f3d2abd4419fb47746bad1ed4292dbce (diff) | |
Merge branch 'master' into pdo
Diffstat (limited to 'update.php')
| -rwxr-xr-x | update.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update.php b/update.php index e13abafca..be7314175 100755 --- a/update.php +++ b/update.php @@ -128,7 +128,7 @@ $lock_handle = make_lockfile($lock_filename); $must_exit = false; - if (isset($options["task"])) { + if (isset($options["task"]) && isset($options["pidlock"])) { $waits = $options["task"] * 5; _debug("Waiting before update ($waits)"); sleep($waits); |