Comment change.

diff --git a/src/filelock.c b/src/filelock.c
index cbdf8468da545b5dd009e3e2c8171b4b7a3a99af..f5e4fb8596655e2399b4bafb61a1360b937ad48e 100644 (file)
--- a/src/filelock.c
+++ b/src/filelock.c
@@ -124,7 +124,13 @@ get_boot_time ()
   EMACS_GET_TIME (time_before);
 
   /* Try calculating the last boot time
-     from the uptime as obtained from /proc/uptime.  */
+     from the uptime as obtained from /proc/uptime.
+
+     This has a disadvantage in that if the system time has been
+     changed (say to correct the clock),
+     then current_time - uptime != wtmp_boot_time.
+     However, the speedup from doing this can be so great
+     that I think it is worth that problem occasionally.  */
 
   while ((fd = open ("/proc/uptime", O_RDONLY)) >= 0)
     {