stratosphere/stratosphere — pull request #271 by markus-h (2013-11-12 14:32:43+00:00)
Title: Name escaping for jobmanager webfrontend

HTML escaping for names in the webinterface of the jobmanager. Workaround for issue #171.