Overview
| Comment: | added exception handler to deletion of .servinfo file |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | v1.80 |
| Files: | files | file ages | folders |
| SHA1: |
c96bc5893d099016d8d79d08e9b76c7d |
| User & Date: | mmgraham on 2023-04-11 14:23:02 |
| Other Links: | branch diff | manifest | tags |
Context
|
2023-04-11
| ||
| 15:12 | Added control over inmem vs. tmp db caching. [setup] dbcache-mode inmem check-in: 9c90eedf66 user: mrwellan tags: v1.80 | |
| 14:23 | added exception handler to deletion of .servinfo file check-in: c96bc5893d user: mmgraham tags: v1.80 | |
| 08:21 | Fixed overlapping calls to sync to on disk db check-in: 4c15e85b4d user: matt tags: v1.80 | |
Changes
Modified tcp-transportmod.scm from [21933d310d] to [fb31b50fe1].
| ︙ | |||
533 534 535 536 537 538 539 | 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 | + + + - + + |
(if res
#f ;; not the server, but all good, want to exit
(if (and (file-exists? servinfofile)
(> (- (current-seconds)(file-modification-time servinfofile)) 30))
(begin
;; can't ping and file has been on disk 15 seconds, go ahead and try to remove it
(debug:print-info 0 *default-log-port* "Removing apparently dead server info file: "servinfofile)
(handle-exceptions
exn
(debug:print-info 0 *default-log-port* "Error removing server info file: "servinfofile)
|
| ︙ |