Trac #33213: replace SAGE_TMP in cleaner/quit interfaces.

These two modules relied on SAGE_TMP (from sage.misc.misc) to pass
spawned process information back and forth. Now we make
sage.interfaces.cleaner responsible for that path, and use a real
temporary directory for it.

src/sage/interfaces/cleaner.py

@@ -17,7 +17,10 @@
 
 import os
 
-from sage.misc.misc import SAGE_TMP
+import atexit, tempfile
+_spd = tempfile.TemporaryDirectory()
+SAGE_SPAWNED_PROCESS_FILE = os.path.join(_spd.name, "spawned_processes")
+atexit.register(lambda: _spd.cleanup())
 
 def cleaner(pid, cmd=''):
     """
@@ -27,9 +30,8 @@ def cleaner(pid, cmd=''):
     if cmd != '':
         cmd = cmd.strip().split()[0]
     # This is safe, since only this process writes to this file.
-    F = os.path.join(SAGE_TMP, 'spawned_processes')
     try:
-        with open(F, 'a') as o:
+        with open(SAGE_SPAWNED_PROCESS_FILE, 'a') as o:
             o.write('%s %s\n'%(pid, cmd))
     except IOError:
         pass

src/sage/interfaces/quit.py

@@ -63,11 +63,11 @@ def kill_spawned_jobs(verbose=False):
 
         sage: sage.interfaces.quit.expect_quitall()
     """
-    from sage.misc.misc import SAGE_TMP
-    file = os.path.join(SAGE_TMP, 'spawned_processes')
-    if not os.path.exists(file):
+    from sage.interfaces.cleaner import SAGE_SPAWNED_PROCESS_FILE
+
+    if not os.path.exists(SAGE_SPAWNED_PROCESS_FILE):
         return
-    with open(file) as f:
+    with open(SAGE_SPAWNED_PROCESS_FILE) as f:
         for L in f:
             i = L.find(' ')
             pid = L[:i].strip()