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_processes
file with the givenpid
andcmd
.
- sage.interfaces.cleaner.start_cleaner()¶
Start
sage-cleaner
in a new process group.