Overview
| Comment: | Added catching of ^c and flushing of server communication so that server doesn't die |
|---|---|
| Downloads: | Tarball | ZIP archive |
| Timelines: | family | ancestors | descendants | both | trunk | v1.5111 |
| Files: | files | file ages | folders |
| SHA1: |
d69a3dee281f7ccfef03dff6c75cf1a4 |
| User & Date: | mrwellan on 2012-11-05 13:27:20.870 |
| Other Links: | manifest | tags |
Context
|
2012-11-05
| ||
| 13:40 | Slight improvement to catching of ^c and flushing of server communication. Servers still dies sometimes check-in: 9daa64433e user: mrwellan tags: trunk, v1.5112 | |
| 13:27 | Added catching of ^c and flushing of server communication so that server doesn't die check-in: d69a3dee28 user: mrwellan tags: trunk, v1.5111 | |
| 13:20 | Added catching of ^c and flushing of server communication so that server doesn't die check-in: bb324e0945 user: mrwellan tags: trunk, v1.5110 | |
Changes
Modified common.scm
from [fed65ad912]
to [48dba0a8c5].
[diff]
Modified db.scm
from [c960b481ca]
to [fcdb272fed].
[diff]
Modified server.scm
from [0c3e939ba0]
to [65718bc009].
[diff]