blob: 1b4039c560a6b0cfd195dc2225fed66d84791a9c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
pymol/modules/pymol/plugins/repository.py | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/pymol/modules/pymol/plugins/repository.py b/pymol/modules/pymol/plugins/repository.py
index 9697f68..9820fac 100644
--- a/pymol/modules/pymol/plugins/repository.py
+++ b/pymol/modules/pymol/plugins/repository.py
@@ -182,7 +182,8 @@ class GithubRepository(HttpRepository):
def fetchjson(self, url):
handle = urlopen('https://api.github.com' + url)
- return eval(handle.read())
+ ret = handle.read().replace("false", "False")
+ return eval(ret)
class LocalRepository(Repository):
def __init__(self, url):
|
GitWeb
