diff --git a/checkin_notes b/checkin_notes index 9af94d6585..dcdaa3631c 100644 --- a/checkin_notes +++ b/checkin_notes @@ -2214,3 +2214,10 @@ David 24 Feb 2012 sched/ sched_version.cpp + +Bernd 27 feb 2012 + - db_purge: record result and workunit name in index file + + sched/ + db_purge.cpp + diff --git a/sched/db_purge.cpp b/sched/db_purge.cpp index 0e5481a8ca..a3c124a04e 100644 --- a/sched/db_purge.cpp +++ b/sched/db_purge.cpp @@ -344,10 +344,13 @@ int archive_result(DB_RESULT& result) { "\n" ); - if (n >= 0) n = fprintf(re_index_stream, - "%d %d\n", - result.id, time_int - ); + if (n >= 0) { + n = fprintf(re_index_stream, + "%d %d %s\n", + result.id, time_int, result.name + ); + } + if (n < 0) fail("fprintf() failed\n"); return 0; @@ -421,10 +424,12 @@ int archive_wu(DB_WORKUNIT& wu) { "\n" ); - if (n >= 0) n = fprintf(wu_index_stream, - "%d %d\n", - wu.id, time_int - ); + if (n >= 0) { + n = fprintf(wu_index_stream, + "%d %d %s\n", + wu.id, time_int, wu.name + ); + } if (n < 0) fail("fprintf() failed\n");