diff --git a/checkin_notes b/checkin_notes index bb1c9db3a7..f6b31a7b63 100755 --- a/checkin_notes +++ b/checkin_notes @@ -8311,3 +8311,9 @@ Gary 09 Dec 2003 html_user/ prefs.inc + +Karl 2003-12-09 + - don't run the scheduler cgi if stop_server trigger exists. + + sched/ + main.C diff --git a/sched/main.C b/sched/main.C index 30f24e5847..99d8d2498d 100644 --- a/sched/main.C +++ b/sched/main.C @@ -83,6 +83,8 @@ int main() { exit(1); } + check_stop_trigger(); + sprintf(path, "%s/code_sign_public", config.key_dir); retval = read_file_malloc(path, code_sign_key); if (retval) {