ajaxorg/cloud9 — pull request #795 by zefhemel (2012-01-18 08:12:41+00:00)
Title: Possible scriptname fix

Issue: https://github.com/ajaxorg/cloud9/issues/794

It's possible that some browsers error when a DOM attribute does not
exist, so I added a `hasAttribute` check. If this doesn't solve it I have absolutely no idea what is causing this problem.

@mikedeboer @sergi @janjongboom @fjakobs