cockpit-project/cockpit — pull request #1017 by stefwalter (2014-08-13 12:43:43+00:00)
Title: shell: Fix TypeError exception when leaving docker page

Fixes #1010