Reduced duplication in devtools.server.js.

Signed-off-by: marco.minetti <marco.minetti@novetica.org>