diff options
author | Thomas White <taw@physics.org> | 2021-06-21 22:44:31 +0200 |
---|---|---|
committer | Thomas White <taw@physics.org> | 2021-06-21 22:45:16 +0200 |
commit | 63f708e2ef4525e9e38a7d6cb7140910a718cbac (patch) | |
tree | 89e892fc3e80e1ee08194b45403791fffd361c66 /src/repl-connection.h | |
parent | a460a40e9eed7519def796be8c7fab605465c421 (diff) |
Fixture display: Shut down REPL connection gracefully at exit
This avoids horrible spew on the main thread REPL (leaving only minor
spew instead).
Diffstat (limited to 'src/repl-connection.h')
-rw-r--r-- | src/repl-connection.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/repl-connection.h b/src/repl-connection.h index f8b82f6..69f3f0b 100644 --- a/src/repl-connection.h +++ b/src/repl-connection.h @@ -30,5 +30,7 @@ extern ReplConnection *repl_connection_new(const char *socket, void (*process_func)(SCM sexp, void *data), void *data); extern int repl_send(ReplConnection *repl, const char *line); +extern void repl_connection_close(ReplConnection *repl); +extern int repl_closed(ReplConnection *repl); #endif /* REPL_CONNECTION_H */ |