diff --git a/checkin_notes b/checkin_notes index 8f76797922..059aac340d 100644 --- a/checkin_notes +++ b/checkin_notes @@ -8222,3 +8222,10 @@ Rom 28 Sept 2009 client/ hostinfo_win.cpp + +David 28 Sept 2009 + - tweak to start + html/inc/ + user.inc + sched/ + start diff --git a/html/inc/user.inc b/html/inc/user.inc index 4663375e67..558c5cc91b 100644 --- a/html/inc/user.inc +++ b/html/inc/user.inc @@ -224,7 +224,7 @@ function show_user_info_private($user) { "".tra("Community preferences")."" ); if (!no_computing()) { - row2(tra("Resource share and graphics"), + row2(tra("Preferences for this project"), "".tra("%1 preferences", PROJECT)."" ); } diff --git a/sched/start b/sched/start index 4f638bf7c1..f0df8c4996 100755 --- a/sched/start +++ b/sched/start @@ -123,6 +123,11 @@ def assign_task_defaults(): task.disabled = 1 else: task.disabled = 0 + always_run = task.__dict__.get('always_run') + if always_run and always_run != "0": + task.always_run = 1 + else: + task.always_run = 0 for task in config.daemons: host = task.__dict__.get('host') if not host: @@ -429,7 +434,7 @@ def run_tasks(): continue if task.disabled: continue - if task.__dict__.get('always_run'): + if task.always_run: run_task(task) continue if run_state.enabled: