Re: [web-bluetooth] Add an event when a device is disconnected.

Also see 
https://github.com/WICG/webusb/commit/5806adfc523ff5146bc9fa883367b024d1d62699,
 this event for WebUSB.

#114 is a superset of this bug, but I may not spec all of that before 
getting the basic `gattdisconnected` event.

-- 
GitHub Notification of comment by jyasskin
Please view or discuss this issue at 
https://github.com/WebBluetoothCG/web-bluetooth/issues/159#issuecomment-175765665
 using your GitHub account

Received on Wednesday, 27 January 2016 17:47:47 UTC