Interface to the Sage cleaner¶
Triva Note: For the name “sage-cleaner”, think of the “The Cleaner” from Pulp Fiction: http://www.frankjankowski.de/quiz/illus/keitel.jpg
-
sage.interfaces.cleaner.cleaner(pid, cmd='')¶ Write a line to the
spawned_processesfile with the givenpidandcmd.
-
sage.interfaces.cleaner.start_cleaner()¶ Start
sage-cleanerin a new process group.