From 02c20f52962890352805a0f2552e8e64f794944c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jens=20Kr=C3=BCger?= <jens.krueger@frm2.tum.de>
Date: Wed, 3 May 2023 09:00:07 +0200
Subject: [PATCH] Server: add missing 'restart_hook' missing

Change-Id: Iac6349c86ee7cc5c55177e881a51a240df260d6f
Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/31004
Tested-by: Jenkins Automated Tests <pedersen+jenkins@frm2.tum.de>
Reviewed-by: Enrico Faulhaber <enrico.faulhaber@frm2.tum.de>
Reviewed-by: Markus Zolliker <markus.zolliker@psi.ch>
Reviewed-by: Jens Krueger <jens.krueger@frm2.tum.de>
---
 frappy/server.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/frappy/server.py b/frappy/server.py
index 0d195a1e..f0cfb80e 100644
--- a/frappy/server.py
+++ b/frappy/server.py
@@ -125,6 +125,9 @@ class Server:
     def unknown_options(self, cls, options):
         return f"{cls.__name__} class don't know how to handle option(s): {', '.join(options)}"
 
+    def restart_hook(self):
+        pass
+
     def run(self):
         while self._restart:
             self._restart = False