diff src/service/main.py @ 87:17094a075fd2

core: use C.PLUGIN_EXT to know which plugin extension to use
author Goffi <goffi@goffi.org>
date Sun, 25 Dec 2016 16:41:25 +0100
parents 8e16abcadbb8
children
line wrap: on
line diff
--- a/src/service/main.py	Sun Dec 25 16:41:21 2016 +0100
+++ b/src/service/main.py	Sun Dec 25 16:41:25 2016 +0100
@@ -33,6 +33,7 @@
     # sys.platform is "linux" on android by default
     # so we change it to allow backend to detect android
     sys.platform = "android"
+    C.PLUGIN_EXT = "pyo"
 from sat.core import sat_main
 from twisted.internet import reactor