jenkins: proxy websocket urls

data/common/common.yaml

@@ -4154,6 +4154,8 @@ grafana::objects::datasources:
 
 java::distribution: jre
 
+jenkins::backend::url: http://thyssen.internal.softwareheritage.org:8080/
+jenkins::backend::ws_url: ws://thyssen.internal.softwareheritage.org:8080/
 jenkins::url: "https://%{lookup('jenkins::vhost::name')}"
 
 jenkins::vhost::name: jenkins.softwareheritage.org

site-modules/profile/manifests/jenkins/reverse_proxy.pp

 class profile::jenkins::reverse_proxy {
+  include ::profile::apache::mod_proxy_wstunnel
+
+  $jenkins_ws_url = lookup('jenkins::backend::ws_url')
+
   $jenkins_vhost_name = lookup('jenkins::vhost::name')
   ::profile::reverse_proxy {'jenkins':
     default_proxy_pass_opts => {
@@ -7,6 +11,12 @@ class profile::jenkins::reverse_proxy {
     extra_apache_opts       => {
       allow_encoded_slashes => 'nodecode',
     },
+    extra_proxy_pass        => [
+      { path     => '/wsagents',
+        url      => "${jenkins_ws_url}wsagents",
+        keywords => ['nocanon'],
+      },
+    ],
   }
 
   profile::prometheus::export_scrape_config {"jenkins_${jenkins_vhost_name}":