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.