Not sure if this was related or not:
/t/tor-browser-keeps-enabling-javascript-globally/5436
Assuming that javascript was continuously enabled because of the aforementioned exploit, would it have been possible to discover my real IP address by any means?
Are there any known javascript exploits that could reveal the Tor Gateway IP?