shogun-toolbox/shogun — pull request #2170 by tklein23 (2014-04-18 22:06:41+00:00)
Title: Proper naming of temp files in /tmp 

This allows to identify stale serialization temp files. For easier cleanup in /tmp.