diff --git a/launch.py b/launch.py index 938abf05c4808358d16d69e5913f3d5105bb2af5..7bcd828551080386093539ab2de3bd2d23d63476 100755 --- a/launch.py +++ b/launch.py @@ -532,7 +532,6 @@ class Scheduler: f.write(' tsleep : % 5.02f\n' % self.tsleep) f.write(' tsleep_short : % 5.02f\n' % self.tsleep_short) f.write('pbs_update_deltat : % 5.02f\n' % self.pbs_update_deltat) - f.write(' reload_pbsflist : % 5i\n' % self.reload_pbsflist) f.write(' f_pbsflist : %s\n' % self.f_pbsflist) f.flush() f.close() @@ -563,7 +562,7 @@ class Scheduler: """ self.header = ['date_time', 'cpu_target', 'cpu_user', 'cpu_free', 'free_target', 'queue_user', 'queue_target', 'tsleep', - 'tsleep_short', 'pbs_update_deltat', 'reload_pbsflist'] + 'tsleep_short', 'pbs_update_deltat'] f = open(self.fname_cluster_state, 'w') f.write(' ; '.join(self.header) + '\n') f.flush()