#143 Interruptible statistics code

Merged
jens.klein merged 1 commits from stefan.schmidt/stat_interrupt into SPIN/master 6 år sedan

1 Incheckningar

Upphovsman SHA1 Meddelande Datum
  Stefan Schmidt 27fc9d034a Made the statistics code interruptible by CTRL+C 6 år sedan