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)
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"}
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',