new expansion mode for device_config
trying to fix vnc command line selection problem
handle cornercases (no networks, no sge_tools present)
Merge branch 'master' of repository.init.at:/srv/git/webfrontend
Merge branch 'master' into license_monitoring