for users ensured proper destructors, and ctrl c should kill it

This commit is contained in:
Dhanya Maliakal
2017-07-13 12:18:45 +02:00
parent f430152f61
commit a1fd34ebb6
2 changed files with 128 additions and 98 deletions

Binary file not shown.