mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-22 06:17:05 +08:00
Use cPickle if available
This commit is contained in:
1 parent
2f809d8066
commit
8734e0efe2
1 file changed
+3
@@ -21,6 +21,9 @@ from __future__ import with_statement
|
|||||||
import time
|
import time
|
||||||
import os
|
import os
|
||||||
import sys
|
import sys
|
||||||
|
try:
|
||||||
|
import cPickle as pickle
|
||||||
|
except:
|
||||||
import pickle
|
import pickle
|
||||||
|
|
||||||
from _compatibility import json
|
from _compatibility import json
|
||||||
|
|||||||
Reference in new issue
Block a user