rem: calendarManager.prototype.deleteCalendar = function calMan_deleteCalendar( ThisCalendarObject ) 
add: calendarManager.prototype.deleteCalendar = function calMan_deleteCalendar( ThisCalendarObject, deleteFile ) 
context: calendarManager.prototype.deleteCalendar = function calMan_deleteCalendar( ThisCalendarObject ){   if( ThisCalendarObject.getAttribute( "http://home.netscape.com/NC-rdf#serverNumber" ) == 0 )      return;   this.CalendarWindow.eventSource.gICalLib.removeCalendar( ThisCalendarObject.getAttribute( "http://home.netscape.com/NC-rdf#path" ) );   var FileToRemove = new File( ThisCalendarObject.getAttribute( "http://home.netscape.com/NC-rdf#path" ) );   FileToRemove.remove();   ThisCalendarObject.remove();   this.rdf.flush();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/aa07388c8f9522be65159dcbe2d06c0792265ee0/calendarManager.js/buggy/calendar/resources/content/calendarManager.js