espruino/EspruinoWebIDE — pull request #48 by mattbrailsford (2014-03-24 19:51:03+00:00)
Title: Fix duplicate update icons

Fixes #43 now removes update icon on disconnect