From 8e775adfa351a6794c4bec8c858be08249d99781 Mon Sep 17 00:00:00 2001
From: Stefano Germano <2128484+stefanogermano@users.noreply.github.com>
Date: Mon, 13 Apr 2026 16:46:40 +0200
Subject: [PATCH 1/3] Refactor subprocess handling in desktop_service.py

---
 embasp/platforms/desktop/desktop_service.py | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/embasp/platforms/desktop/desktop_service.py b/embasp/platforms/desktop/desktop_service.py
index fde3906..f1a19f8 100644
--- a/embasp/platforms/desktop/desktop_service.py
+++ b/embasp/platforms/desktop/desktop_service.py
@@ -92,19 +92,19 @@ def start_sync(self, programs, options):
 
         start = int(time.time() * 1e+9)
 
-        proc = subprocess.Popen(
+        with subprocess.Popen(
             lis,
             universal_newlines=True,
             stdout=subprocess.PIPE,
             stderr=subprocess.PIPE,
             stdin=subprocess.PIPE,
-        )
+        ) as proc:
 
-        output, error = proc.communicate(final_program)
+            output, error = proc.communicate(final_program)
 
-        end = int(time.time() * 1e+9)
+            end = int(time.time() * 1e+9)
 
-        print("Total time : " + str(end - start))
-        print("")
+            print("Total time : " + str(end - start))
+            print("")
 
-        return self._get_output(output, error)
+            return self._get_output(output, error)

From 6f2cfe4a55e768d32580f3bdc404521cca56eeac Mon Sep 17 00:00:00 2001
From: Stefano Germano <2128484+stefanogermano@users.noreply.github.com>
Date: Mon, 13 Apr 2026 16:47:36 +0200
Subject: [PATCH 2/3] Bump version from 8.1.3 to 8.1.4

---
 setup.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index 652f632..e1e3c46 100644
--- a/setup.py
+++ b/setup.py
@@ -3,7 +3,7 @@
 from setuptools import setup, find_packages
 
 setup(name='EmbASP',
-      version='8.1.3',
+      version='8.1.4',
       description='EmbASP',
       long_description=open('README.md').read(),
       author='Department of Mathematics and Computer Science, University of Calabria',

From 9d449720d09b7c04d09a12031112bda08c7ea89f Mon Sep 17 00:00:00 2001
From: Stefano Germano <2128484+stefanogermano@users.noreply.github.com>
Date: Mon, 13 Apr 2026 16:48:00 +0200
Subject: [PATCH 3/3] Bump version from 8.1.3 to 8.1.4

---
 pyproject.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pyproject.toml b/pyproject.toml
index 1e41fd8..eda932e 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -1,6 +1,6 @@
 [project]
 name = "embasp-python"
-version = "8.1.3"
+version = "8.1.4"
 description = "EmbASP is a framework for the integration of Logic Programming in external systems"
 readme = "README.md"
 license = {file = "LICENSE"}