Matthias 27bea580d4 Fix rest-client script's force_enter ...

closes #6927

2022-06-05 09:40:04 +02:00

..

rest_client.py

Fix rest-client script's force_enter

2022-06-05 09:40:04 +02:00