2 commits

Author	SHA1	Message	Date
Michele	6896b447c5	eliminata la gestione del PID non piu' necessaria con Docker	2017-04-07 10:04:26 +02:00
Michele	ae82c15f70	aggiornato il Dockerfile ... aggiunti gli script per lanciarlo tramite container	2017-03-09 15:37:32 +01:00