typing: Do time math with numbers, not Date objects.

When typing_status adds 10000 to this value, it would previously
obtain wacky strings like

    "Fri Oct 04 2019 16:45:59 GMT-0700 (Pacific Daylight Time)10000"

Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
This commit is contained in:
Anders Kaseorg
2019-10-04 16:44:22 -07:00
committed by Tim Abbott
parent 0dc079def0
commit caf217d434

View File

@@ -59,7 +59,7 @@ function is_valid_conversation(user_ids_string) {
}
function get_current_time() {
return new Date();
return new Date().getTime();
}
function notify_server_start(user_ids_string) {