chore: stop client after readProperty operation

JKRhb · JKRhb · commit bce16f1b75c0 · 2024-04-29T00:11:32.000+02:00
This needs a more thorough fix...
diff --git 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);
   }
 

Original file line number	Diff line number	Diff line change
`@@ -117,6 +117,8 @@ class ConsumedThing implements scripting_api.ConsumedThing {`
`117`	`117`	`);`
`118`	`118`
`119`	`119`	`final content = await client.readResource(form);`
	`120`	`+ // FIXME: Clients should be reusable`
	`121`	`+ await client.stop();`
`120`	`122`	`return InteractionOutput(content, servient.contentSerdes, form, property);`
`121`	`123`	`}`
`122`	`124`