|
@@ -4,7 +4,6 @@ import attr
|
|
import logging
|
|
import logging
|
|
import re
|
|
import re
|
|
import sys
|
|
import sys
|
|
-import readline
|
|
|
|
import operator
|
|
import operator
|
|
import traceback
|
|
import traceback
|
|
from numbers import Number
|
|
from numbers import Number
|
|
@@ -40,6 +39,12 @@ logger.addHandler(logging.StreamHandler())
|
|
for handler in logger.handlers:
|
|
for handler in logger.handlers:
|
|
handler.setFormatter(logFormatter)
|
|
handler.setFormatter(logFormatter)
|
|
|
|
|
|
|
|
+try:
|
|
|
|
+ # If imported, input() automatically uses it
|
|
|
|
+ import readline
|
|
|
|
+except ImportError:
|
|
|
|
+ logger.warning("Could not import readline: Advanced line editing unavailable")
|
|
|
|
+
|
|
sysrand = SystemRandom()
|
|
sysrand = SystemRandom()
|
|
randint = sysrand.randint
|
|
randint = sysrand.randint
|
|
|
|
|