diff src/server/html_tools.py @ 562:7e8356479fef

misc: launch script fix (there can now be more than 1 argument)
author Goffi <goffi@goffi.org>
date Fri, 03 Oct 2014 18:31:40 +0200
parents 1a0cec9b0f1e
children c8cca1a373dd
line wrap: on
line diff