ajaxorg/cloud9 — pull request #820 by zefhemel (2012-01-18 13:53:44+00:00)
Title: Fix for `getAttribute` problem

As described here, hope it works.

https://github.com/ajaxorg/cloud9/issues/802

@sergi @fjakobs @janjongboom @mikedeboer