Jakob Borg 0d1df6bec3 Discovery server should print device ID of certificate at startup		2015-11-04 16:55:21 +00:00
..
discosrv	Discovery server should print device ID of certificate at startup	2015-11-04 16:55:21 +00:00