From 29fcfda3eae658a4da0740e1d01b3b80362b30cc Mon Sep 17 00:00:00 2001
From: Lennart Kramer <lennart.kramer@stud.uni-goettingen.de>
Date: Wed, 3 Jun 2020 16:20:00 +0200
Subject: [PATCH] Replace config
---
Dockerfile | 2 +-
src/maxima_fork.c | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/Dockerfile b/Dockerfile
index d56437a..c951419 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -93,5 +93,5 @@ RUN for i in $(seq 16); do \
# Add go webserver
COPY ./bin/web ${BIN}/goweb
-CMD rm /dev/tty && exec tini ${BIN}/goweb
+CMD rm /dev/tty && exec tini ${BIN}/goweb ${BIN}/maxima-optimised
diff --git a/src/maxima_fork.c b/src/maxima_fork.c
index 7eb4573..6c4dd21 100644
--- a/src/maxima_fork.c
+++ b/src/maxima_fork.c
@@ -29,7 +29,7 @@ char *fork_new_process() {
// the server process doesn't accidentally write into
// sbcl's buffer
// the server should not write anything before it has read this
- write(STDOUT_FILENO, "S", 1);
+ write(STDOUT_FILENO, "\x02", 1);
// while the loop is running, the SIGCHLD handler
// is deactivated so that children are automatically reaped
--
GitLab