3dd9001fdd
1. The contract in the docs was wrong. 2. The docs used `#f' where the code was expecting 'disable, so made it accept both. 3. Don't recommend disabling the timer -- I had a case where the connection was left for more than a day as a result. (Probably because there was a message after the receipt email.) |
||
|---|---|---|
| .. | ||
| checker-utils.scrbl | ||
| checker.scrbl | ||
| client-customization.scrbl | ||
| common.rkt | ||
| handin-server.scrbl | ||
| hook-dummy.rkt | ||
| info.rkt | ||
| multifile.scrbl | ||
| other-utils.scrbl | ||
| quick-start.scrbl | ||
| sandbox.scrbl | ||
| server-client.scrbl | ||
| server-setup.scrbl | ||
| updater.scrbl | ||
| utils.scrbl | ||
| wheres-the-collection.scrbl | ||