software/theia: Publish monitor connection

See merge request !914

software/theia/buildout.hash.cfg

@@ -15,7 +15,7 @@
 
 [instance]
 filename = instance.cfg.in
-md5sum = 9a3142d6c43616b69217ea4979f25847
+md5sum = 397a2e0ac0d7f8813e0b594af6785300
 
 [yarn.lock]
 filename = yarn.lock

software/theia/instance.cfg.in

@@ -393,6 +393,7 @@ config-websocket-path-list = /services /file-upload
 return = domain secure_access
 
 [publish-connection-parameter]
+<= monitor-publish
 recipe = slapos.cookbook:publish
 url = $${apache-frontend:connection-secure_access}
 username = $${frontend-instance-password:username}