nadarei/mina — pull request #93 by ineu (2013-02-10 20:52:01+00:00)
Title: Properly fixed tmp/restart issue

Fix from https://github.com/nadarei/mina/pull/77 is incorrect. Fixing.