diff --git a/checkin_notes b/checkin_notes index ab36873c9c..be40cb11ee 100755 --- a/checkin_notes +++ b/checkin_notes @@ -6905,7 +6905,7 @@ David 18 Oct 2003 David 18 Oct 2003 - When reset (or detach from) a process, wait for running applications to exit before doing other things (e.g., deleting files, - which will fail is processes have them open) + which will fail if processes have them open) Implementation: exit_tasks() etc. now take a PROJECT* arg - When a master file fetch fails on a tentative project (e.g. bad URL) avoid a situation where we remove the HTTP_OP,