Fixed a bug in desktop_service.py

DeMaCS-UNICAL · Nov 29, 2023 · e60316c · e60316c
1 parent c602e9e
commit e60316c
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/embasp/platforms/desktop/desktop_service.py b/embasp/platforms/desktop/desktop_service.py
@@ -53,8 +53,8 @@ def start_sync(self, programs, options):
         option = ""
         for o in options:
             if o is not None:
-                option += o.get_options()
-                option += o.get_separator()
+                option += str(o.get_options())
+                option += str(o.get_separator())
             else:
                 print("Warning : wrong " +
                       str(OptionDescriptor().__class__.__name__))

diff --git a/pyproject.toml b/pyproject.toml
@@ -1,6 +1,6 @@
 [project]
 name = "embasp-python"
-version = "8.1.1"
+version = "8.1.2"
 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
@@ -3,7 +3,7 @@
 from setuptools import setup, find_packages
 
 setup(name='EmbASP',
-      version='8.1.1',
+      version='8.1.2',
       description='EmbASP',
       long_description=open('README.md').read(),
       author='Department of Mathematics and Computer Science, University of Calabria',