Oops - forgot the default case
This commit is contained in:
parent
ae15b002c7
commit
cd051dc8c0
|
@ -82,7 +82,8 @@
|
||||||
(void (match server-variation
|
(void (match server-variation
|
||||||
[(? string? other)
|
[(? string? other)
|
||||||
(printf "Press enter when the server has terminated.\n")
|
(printf "Press enter when the server has terminated.\n")
|
||||||
(read-line)]))
|
(read-line)]
|
||||||
|
[_ (void)]))
|
||||||
|
|
||||||
(server-control 'wait)
|
(server-control 'wait)
|
||||||
(log-info "Done.")
|
(log-info "Done.")
|
||||||
|
|
Loading…
Reference in New Issue