From 1e51ec77a0d15d25319636cc589f5930a68a1dee Mon Sep 17 00:00:00 2001 From: Eric Huss Date: Tue, 10 Jul 2018 17:14:16 -0700 Subject: 0.5: Support space separate in datetime. cc #224 --- src/datetime.rs | 3 ++- src/de.rs | 11 +++++++++++ 2 files changed, 13 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/datetime.rs b/src/datetime.rs index c67e2c4..3678f58 100644 --- a/src/datetime.rs +++ b/src/datetime.rs @@ -176,7 +176,8 @@ impl FromStr for Datetime { // Next parse the "partial-time" if available let partial_time = if full_date.is_some() && - chars.clone().next() == Some('T') { + (chars.clone().next() == Some('T') + || chars.clone().next() == Some(' ')) { chars.next(); true } else { diff --git a/src/de.rs b/src/de.rs index 1d43cc9..c2679f5 100644 --- a/src/de.rs +++ b/src/de.rs @@ -1010,6 +1010,17 @@ impl<'a> Deserializer<'a> { -> Result<(Span, &'a str), Error> { let start = self.tokens.substr_offset(date); + // Check for space separated date and time. + if let Some((_, Token::Whitespace(s))) = self.peek()? { + if s == " " { + self.next()?; + // Skip past the hour. + if let Some((_, Token::Keylike(_))) = self.peek()? { + self.next()?; + } + } + } + if colon_eaten || self.eat(Token::Colon)? { // minutes match self.next()? { -- cgit v1.2.3