Gerrit Padgham

Results 2 comments of Gerrit Padgham

Yeah, I was thinking it might be easiest in the python script to just catch a keyboard interrupt (Ctrl-C) and then have it save the data it has at that...

Still happening in 1.14.10b also, definitely not a "stale" issue.