Recording events with no particular time

Our calendar includes various events that happen on a particular day but at no particular time (e.g., "school closed"). This can be implemented by setting their time arbitrariy, e.g. to 12AM, but this is a bit messy. I've modified event to offer a checkbox (see this feature request) that controls a "node->$notime" field indicating that "this event happens at no particular time"; in such cases the calendar and node views do not display any time at all when displaying the event. The change is minor (although the indicated line numbers won't be accurate, due to other changes I've made in the module).

>
226c226,229
<   $output .= form_item(t('Start'), event_format_date($node->start));
---
>   $output .= form_item(t('Start'), 
>                      $node->notime ?
>                      event_format_date($node->start,'custom','D, m/d/Y') :
>                      event_format_date($node->start)) ;
342c345,348
<     else {
---
>     else if (in_array($def[0], array('checkbox','radio'))) {
>        $output .= $function($def[1], $field, 1, $node->$field, $def[6]);
>     }
>     else {  //apparently assumes field is form_select
355c361
<     if ($node->$field) {
---
>     if (isset($node->$field)) {
486c492,496
<       $output .= '<span class="time">'. event_format_date($node->start, 'custom', $date_format) .'</span>';
---
>       if ($node->notime) {
>       $output .= '<span class="time">' .'</span>';
>       } else {
>       $output .= '<span class="time">'. event_format_date($node->start, 'custom', $date_format) .'</span>';
>       }
<