From 665dac1c53ef827cdeccd832f87fc06d784f6893 Mon Sep 17 00:00:00 2001
From: Lieven Hollevoet <hollie@lika.be>
Date: Mon, 22 Nov 2021 20:06:46 +0100
Subject: [PATCH] Stop the mono server that blocks port 8084

---
 .github/workflows/master.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml
index df164392b..aa56fc807 100644
--- a/.github/workflows/master.yml
+++ b/.github/workflows/master.yml
@@ -27,5 +27,6 @@ jobs:
           perl-version: ${{ matrix.perl }}
       - run: perl -V
       - run: sudo apt-get install libgd-gd2-perl
+      - run: sudo systemctl stop mono-xsp4.service
       - run: sudo netstat -tulpn
       - run: cd bin ; ./mh -tk 0 -debug process -code_dir ../code/test