Repair database: time_start time -> time_start int?

[andreasr]

Hi! When I run repair database I get the following sql:

ALTER TABLE project_task   modify column id char(36)  NOT NULL ,  
modify column date_entered datetime  NULL , 
modify column date_modified datetime  NULL ,  
modify column time_start int  NULL ,  
modify column assigned_user_id char(36)  NULL ,  
modify column modified_user_id char(36)  NULL ,  
modify column created_by char(36)  NULL ;

I have emphasized the problematic part. Currently, the datatype for time_start is time. I need to fix this manually, so I need to know what the new time_start should contain. Is it the number of hours/minutes counted in seconds? (which I assume it is)

Thanks,
Andreas