targets/Xenomai/__init__.py
changeset 1734 750eeb7230a1
parent 1511 91538d0c242c
child 1735 c02818d7e29f
--- a/targets/Xenomai/__init__.py	Mon Aug 14 21:31:01 2017 +0300
+++ b/targets/Xenomai/__init__.py	Mon Aug 14 22:23:17 2017 +0300
@@ -36,7 +36,7 @@
                                                        xeno_config + " --skin=native --"+flagsname,
                                                        no_stdout=True).spin()
             if status:
-                self.CTRInstance.logger.write_error(_("Unable to get Xenomai's %s \n")%flagsname)
+                self.CTRInstance.logger.write_error(_("Unable to get Xenomai's %s \n") % flagsname)
             return [result.strip()]
         return []