File endSession-dialog-update-time-label-every-sec.patch of Package gnome-shell.1083

Index: js/ui/endSessionDialog.js
===================================================================
--- js/ui/endSessionDialog.js.orig	2014-02-20 02:19:31.000000000 +0800
+++ js/ui/endSessionDialog.js	2014-07-08 18:47:42.512345756 +0800
@@ -302,8 +302,10 @@ const EndSessionDialog = new Lang.Class(
 
         let description;
         let displayTime = _roundSecondsToInterval(this._totalSecondsToStayOpen,
-                                                  this._secondsLeft,
-                                                  10);
+                                                          this._secondsLeft,
+                                                          // larger than any normal value
+                                                          1000000);
+
 
         if (this._user.is_loaded) {
             let realName = this._user.get_real_name();