Web Service Shell

Requested by Chad. The parsing of Start and End dates should allow the single-digit version of Month and Day. For example ...

starttime=2015-02-01T00:00:00

could also be submitted as ...

starttime=2015-02-1T00:00:00 or starttime=2015-2-01T00:00:00, or both.

Right now the shell throws an ...

Error 400: doIrisProcessing - Bad date value for .. etc.

You can repro this in Station for example. All this time, in all my services, I had a method like so using the Joda dateOptionalTimeParser which handles the single digit cases. But now I see I was fooled: With a single-digit entry, I never get out of the shell and enter this method. =D

    public static Timestamp parseFdsnTime(String in) {
        DateTimeFormatter fmt = ISODateTimeFormat.dateOptionalTimeParser().withZone(DateTimeZone.UTC);
        Timestamp ts = null;
        if (null != in && in.length() > 0) {
            DateTime startTime = fmt.parseDateTime(in);
            ts = new java.sql.Timestamp(startTime.getMillis());                
        }
        return ts;
    }