-
Notifications
You must be signed in to change notification settings - Fork 0
Open
Description
The current approach fills output.txt with \0 characters, more and more after each query, placed before the actual reply.
Probable reason: the (repl via the) manager script continues to write at whatever position it was last - it does not notice the effect of echo -n > output.txt being done in axioms.sh 🤔
Somewhat related advice from a decade ago: https://python-list.python.narkive.com/xGu6Ifof/reading-and-writing-to-a-file-creates-null-characters 😉
Metadata
Metadata
Assignees
Labels
No labels