From 1fba482800a0ced5accdb4cb377642432dbf6f15 Mon Sep 17 00:00:00 2001
From: Zack Scholl <zack.scholl@gmail.com>
Date: Wed, 29 Jun 2016 20:11:20 -0400
Subject: [PATCH] Extended uhoh timer

---
 static/js/websockets.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/static/js/websockets.js b/static/js/websockets.js
index 9c6d6f6..3c6950e 100644
--- a/static/js/websockets.js
+++ b/static/js/websockets.js
@@ -6,7 +6,7 @@ $(document).ready(function() {
   var updateInterval;
   var uhohTimer;
   var doneTypingInterval = 500; //time in ms, 5 second for example
-  var pollToGetNewestCopyInterval = 20000;
+  var pollToGetNewestCopyInterval = 30000;
   //on keyup, start the countdown
   $('#emit').keyup(function() {
     clearTimeout(typingTimer);
@@ -27,7 +27,7 @@ $(document).ready(function() {
   function doneTyping() {
     payload = JSON.stringify({ TextData: currentText(), Title: title_name, UpdateServer: true, UpdateClient: false })
     send(payload)
-    uhohTimer = setTimeout(uhoh, 3000);
+    uhohTimer = setTimeout(uhoh, 30000);
     $('#saveInfo').removeClass().addClass("glyphicon glyphicon-floppy-open");
     console.log("Done typing")
     updateInterval = setInterval(updateText, pollToGetNewestCopyInterval);
@@ -54,6 +54,7 @@ $(document).ready(function() {
     console.log("Getting server's latest copy")
     payload = JSON.stringify({ TextData: currentText(), Title: title_name, UpdateServer: false, UpdateClient: true })
     send(payload)
+    clearTimeout(uhohTimer);
   }
 
   // websockets