[Turn off line numbering]1: var elapsed; 2: 3: elapsed = time() - backup['started]; 4: backup = backup.del('started); 5: catch any { 6: $channel_ui._broadcast('System, "Backup completed, elapsed time " + $time.to_english(elapsed)); 7: $channel_ui._broadcast('System, "Executing filesystem cleanup.. "); 8: pause(); 9: pause(); 10: .execute("backup", []); 11: } 12: 13: // $#Edited: 21 Feb 98 03:02 $user_bruce
["// Created 26-Mar-1995 as a part of ColdCore, see: @help Credit"]