DateTime strToDateTime(String s) { final parsed = DateTime.tryParse(s.replaceFirst(" ", "T")); if (parsed != null) return parsed; throw EDatabaseError('"$s" is not a valid date/time'); }