spearmint icon indicating copy to clipboard operation
spearmint copied to clipboard

Published 20 hours ago • verified publisher icon JasperSnoek

Restart problem

Open JohnReid opened this issue 11 years ago • 2 comments

Quite often I would like to stop and restart spearmint. Sometimes I can Ctrl-C spearmint and restart it. Other times it seems to block and do nothing when restarted. Is there anything I can do except cleanup the directory and start from scratch again? Also Ctrl-C only seems to break me out of spearmint, a spearmint process is still running in the background (which I kill manually). Is this expected?

JohnReid avatar Oct 21 '13 10:10 JohnReid

Maybe I worked this one out. I removed the expt-grid.pkl.lock file and it seemed to restart just fine.

JohnReid avatar Oct 21 '13 10:10 JohnReid

Yeah, that's the right thing to do. This will happen occasionally if the code is killed when the file lock is being held. Maybe I should add a message somewhere about this.

On Mon, Oct 21, 2013 at 6:12 AM, JohnReid [email protected] wrote:

Maybe I worked this one out. I removed the expt-grid.pkl.lock file and it seemed to restart just fine.

— Reply to this email directly or view it on GitHubhttps://github.com/JasperSnoek/spearmint/issues/14#issuecomment-26705587 .

JasperSnoek avatar Oct 21 '13 14:10 JasperSnoek