From 34d8b065fd544dc08ce541fc04dbea3c42006bb6 Mon Sep 17 00:00:00 2001
From: Jan Romann <jan.romann@hs-emden-leer.de>
Date: Mon, 18 Mar 2024 20:32:43 +0100
Subject: [PATCH] chore: stop client after readProperty operation

This needs a more thorough fix...
---
 lib/src/core/implementation/consumed_thing.dart | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/src/core/implementation/consumed_thing.dart b/lib/src/core/implementation/consumed_thing.dart
index 7bc4876f..8a9e4b1a 100644
--- a/lib/src/core/implementation/consumed_thing.dart
+++ b/lib/src/core/implementation/consumed_thing.dart
@@ -117,6 +117,8 @@ class ConsumedThing implements scripting_api.ConsumedThing {
     );
 
     final content = await client.readResource(form);
+    // FIXME: Clients should be reusable
+    await client.stop();
     return InteractionOutput(content, servient.contentSerdes, form, property);
   }