# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1528026875 -7200
# Node ID 4c086cf7af6602e7275c5a99b678c2f28d0fb0b8
# Parent  6a261b725f71f347ede3e1a04ef32887f6cb1b3a
core (version): added workaround for Pyjamas, avoiding crash when reading VERSION

diff -r 6a261b725f71 -r 4c086cf7af66 sat/__init__.py
--- a/sat/__init__.py	Sat Jun 02 17:29:55 2018 +0200
+++ b/sat/__init__.py	Sun Jun 03 13:54:35 2018 +0200
@@ -19,5 +19,9 @@
 import os.path
 
 version_file = os.path.join(os.path.dirname(__file__), 'VERSION')
-with open(version_file) as f:
-    __version__ = f.read().strip()
+try:
+    with open(version_file) as f:
+        __version__ = f.read().strip()
+except NotImplementedError:
+    # pyjamas workaround
+    __version__ = '0.7D'