Use JavaSqlTimestampHelper for parsing timestamps in before/after
JGit's GitDateParser supports a confusingly limited set of formats,
and moreover silently drops any portion of the string that it can't
parse.
Instead, parse only a much more limited set of timestamps, but at
least support the same format as emitted in our JSON. This means that
scripts can simply pass the updated timestamp of the last result to
"before:" in their next query for accurate pagination.
Because timestamps emitted by the REST API are UTC, this may produce
slightly confusing behavior in the web UI, which converts to server
local time before displaying.
This loses some features, such as a few additional datetime formats
and relative dates. The latter is not particularly useful since we
already have "age:".
Change-Id: I646d07290f1888ebe91fa9415cc42fe4d7767de7
diff --git a/Documentation/user-search.txt b/Documentation/user-search.txt
index b28cbdb..99d910e 100644
--- a/Documentation/user-search.txt
+++ b/Documentation/user-search.txt
@@ -67,16 +67,16 @@
[[before_until]]
before:'TIME'/until:'TIME'
+
-Changes modified before the given 'TIME', inclusive. With no time,
-assumes 00:00:00 in the local time zone. Supports many formats supported
-by `git log`.
+Changes modified before the given 'TIME', inclusive. Must be in the
+format `2006-01-02[ 15:04:05[.890][ -0700]]`; omitting the time defaults
+to 00:00:00 and omitting the timezone defaults to UTC.
[[after_since]]
after:'TIME'/since:'TIME'
+
-Changes modified before the given 'TIME', inclusive. With no time,
-assumes 00:00:00 in the local time zone. Supports many formats supported
-by `git log`.
+Changes modified after the given 'TIME', inclusive. Must be in the
+format `2006-01-02[ 15:04:05[.890][ -0700]]`; omitting the time defaults
+to 00:00:00 and omitting the timezone defaults to UTC.
[[change]]
change:'ID'::
