diff options
| author | Richard M. Stallman | 1999-05-19 02:27:09 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 1999-05-19 02:27:09 +0000 |
| commit | 92a581153df9d0a44fd8cf75058cc9512bc40533 (patch) | |
| tree | f5a121ed2cfec085d5a8a7657ebe008cdf3be627 /src | |
| parent | 294500f232a4c11b1ba87d0ceb49cdced025c676 (diff) | |
| download | emacs-92a581153df9d0a44fd8cf75058cc9512bc40533.tar.gz emacs-92a581153df9d0a44fd8cf75058cc9512bc40533.zip | |
Comment change.
Diffstat (limited to 'src')
| -rw-r--r-- | src/filelock.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/filelock.c b/src/filelock.c index cbdf8468da5..f5e4fb85966 100644 --- a/src/filelock.c +++ b/src/filelock.c | |||
| @@ -124,7 +124,13 @@ get_boot_time () | |||
| 124 | EMACS_GET_TIME (time_before); | 124 | EMACS_GET_TIME (time_before); |
| 125 | 125 | ||
| 126 | /* Try calculating the last boot time | 126 | /* Try calculating the last boot time |
| 127 | from the uptime as obtained from /proc/uptime. */ | 127 | from the uptime as obtained from /proc/uptime. |
| 128 | |||
| 129 | This has a disadvantage in that if the system time has been | ||
| 130 | changed (say to correct the clock), | ||
| 131 | then current_time - uptime != wtmp_boot_time. | ||
| 132 | However, the speedup from doing this can be so great | ||
| 133 | that I think it is worth that problem occasionally. */ | ||
| 128 | 134 | ||
| 129 | while ((fd = open ("/proc/uptime", O_RDONLY)) >= 0) | 135 | while ((fd = open ("/proc/uptime", O_RDONLY)) >= 0) |
| 130 | { | 136 | { |