# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 927080829 0
# Node ID a7eb312629b4958708b39dadd9a0362f4db8aa8d
# Parent  aa8417416f0357773f94e299a0a7ef7c76625b25
Comment change.

diff -r aa8417416f03 -r a7eb312629b4 src/filelock.c
--- a/src/filelock.c	Wed May 19 01:40:23 1999 +0000
+++ b/src/filelock.c	Wed May 19 02:27:09 1999 +0000
@@ -124,7 +124,13 @@
   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)
     {