Ticket #3607: boost-date_time-parse_ptime_with_format.patch

time_facet.hpp

@@ -27 +27 @@
 #include <boost/date_time/date_facet.hpp>
 #include <boost/date_time/string_convert.hpp>
 #include <boost/date_time/special_defs.hpp>
+#include <boost/date_time/gregorian/greg_month.hpp>
 
 namespace boost {
 namespace date_time {
@@ -1172 +1173 @@
              
           }
           else {  //skip past chars in format and in buffer
+                if( sitr != stream_end && *itr != *sitr ) {
+                            throw std::exception(); // mismatch in seperater characters found
+                        }
+
             ++itr;
             // set use_current_char when sitr is already 
             // pointing at the next character to process