2 commits

Author	SHA1	Message	Date
Miki	e258d8951c	sistemato il timer di uscita. ... prima di uscire attende che tutti i processi running abbiano finito.	2015-11-20 16:17:31 +01:00
Miki	699a3aaae4	reimplementato usando i channels	2015-11-20 15:23:12 +01:00