+ (* Get the current time and write it into the logs. *)
+ let time = Unix.gmtime (Unix.time ()) in
+ let time =
+ sprintf "%04d/%02d/%02d %02d:%02d:%02d"
+ (time.Unix.tm_year + 1900) (time.Unix.tm_mon + 1) time.Unix.tm_mday
+ time.Unix.tm_hour time.Unix.tm_min time.Unix.tm_sec in
+
+ prerr_endline ("crash: " ^ time);
+