diff options
author | Andrew Dolgov <[email protected]> | 2013-03-21 15:05:57 +0400 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2013-03-21 15:05:57 +0400 |
commit | dc24b520ccea0f092ea44f97352de20a796f4954 (patch) | |
tree | fc47522d11cf5a6cc438f2fc22cd61c05f491450 /update.php | |
parent | 2191eb7aab7686df01bee88ed18068897ce2912f (diff) |
update_daemon: use getopt; make things a bit more configurable, add help
Diffstat (limited to 'update.php')
-rwxr-xr-x | update.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/update.php b/update.php index 9862e1ff2..6850f1fb2 100755 --- a/update.php +++ b/update.php @@ -69,7 +69,7 @@ print " --daemon - start single-process update daemon\n"; print " --task N - create lockfile using this task id\n"; print " --cleanup-tags - perform tags table maintenance\n"; - print " --quiet - don't show messages\n"; + print " --quiet - don't output messages to stdout\n"; print " --log FILE - log messages to FILE\n"; print " --indexes - recreate missing schema indexes\n"; print " --convert-filters - convert type1 filters to type2\n"; @@ -85,13 +85,13 @@ return; } + define('QUIET', isset($options['quiet'])); + if (isset($options["log"])) { _debug("Logging to " . $options["log"]); define('LOGFILE', $options["log"]); } - define('QUIET', isset($options['quiet'])); - if (!isset($options["daemon"])) { $lock_filename = "update.lock"; } else { |