2 Commits

Author	SHA1	Message	Date
Valverde Antonio	25b9583d5c	Fix missing provider when a device is plugged in for the first time	2014-06-06 18:24:32 +09:00
Simo Kinnunen	984c45b183	Separate websocket to its own role. Necessary because the app was getting pretty big already, but mostly because our Windows PCs don't like to connect to websockets on port 80, which is what we use for the app.	2014-06-06 15:02:29 +09:00