frmichel/biomed-support-tools — pull request #2 by gwarf (2014-02-11 17:05:20+00:00)
Title: dump-se-files.py: fix exit call.

Fix exit call.