equal
deleted
inserted
replaced
181 val end_date = Date.now() |
181 val end_date = Date.now() |
182 val err = |
182 val err = |
183 res match { |
183 res match { |
184 case Exn.Res(_) => None |
184 case Exn.Res(_) => None |
185 case Exn.Exn(exn) => |
185 case Exn.Exn(exn) => |
|
186 exn.printStackTrace() |
186 val first_line = Library.split_lines(Exn.message(exn)).headOption getOrElse "exception" |
187 val first_line = Library.split_lines(Exn.message(exn)).headOption getOrElse "exception" |
187 Some(first_line) |
188 Some(first_line) |
188 } |
189 } |
189 logger.log_end(end_date, err) |
190 logger.log_end(end_date, err) |
190 } |
191 } |