# HG changeset patch
# User Edouard Tisserant
# Date 1555663982 -7200
# Node ID bf0c1a40cf373143d1205f90a16e68cdabe07768
# Parent  9944a18cad17a9d65d8463f61dc16d8ad0cf99ec
Add Repair() to WAMP interface

diff -r 9944a18cad17 -r bf0c1a40cf37 runtime/WampClient.py
--- a/runtime/WampClient.py	Thu Apr 18 14:42:23 2019 +0200
+++ b/runtime/WampClient.py	Fri Apr 19 10:53:02 2019 +0200
@@ -61,6 +61,7 @@
     ("AppendChunkToBlob", {}),
     ("PurgeBlobs", {}),
     ("NewPLC", {}),
+    ("RepairPLC", {}),
     ("MatchMD5", {}),
     ("SetTraceVariablesList", {}),
     ("GetTraceVariables", {}),