Thank you for the note. I have disabled this patchbot client for now.
The problem seems to be that the /tmp directory gets flooded with thousands of little files that do not get removed automatically. It has been less than two weeks since I have last cleared the /tmp directory, and now there are already more than 100.000 files. Is there a way to let the patchbot delete the temporary files it created automatically after each ticket? The machine the patchbot client is running on has recently been switched from CentOS to Ubuntu – maybe it is just a coincidence, but this has not been a problem before.
97% of the temporary files are created by ECL (they are named `ecl....`). Maybe the ECL upgrade in 9.2.beta5 has something to do with it?
Another major problem are two huge files containing the following output. One of them is more than 30 GB in size. Does anyone know where this is coming from? This code is not the source tree of the develop branch, so it might be some trac ticket, possibly related to Cysignals.
sage: cython('while True: print("Hello")') ## line 245 ##
Hello
Hello
Hello
Hello
Hello
Hello
Hello
Hello
Hello
Hello
Hello
Hello
Hello
...