frappy_psi.sea: workaround for bug in sea

hdb path should not contain duble slash. replace double slash
by single slash

Change-Id: Ia2ce3be9a75d68fcc7efe3eb3dbd19a7907a73ff
Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/32705
Tested-by: Jenkins Automated Tests <pedersen+jenkins@frm2.tum.de>
Reviewed-by: Markus Zolliker <markus.zolliker@psi.ch>

frappy_psi/sea.py

@@ -278,6 +278,9 @@ class SeaClient(ProxyClient, Module):
                         continue
                 else:
                     continue
+                # path from sea may contain double slash //
+                # this should be fixed, however in the meantime fix it here
+                path = path.replace('//', '/')
                 data = {'%s.geterror' % path: readerror.replace('ERROR: ', '')}
                 obj = None
                 flag = 'hdbevent'