2019-09-17 12:39:23 +00:00
|
|
|
import contextlib, datetime, decimal, enum, io, ipaddress, multiprocessing
|
|
|
|
import queue, re, signal, threading, typing
|
2019-10-29 18:02:50 +00:00
|
|
|
from . import cli, consts, irc, http, parse, security
|
2018-10-03 12:22:37 +00:00
|
|
|
|
2019-02-22 11:23:36 +00:00
|
|
|
class Direction(enum.Enum):
|
2019-03-10 13:14:15 +00:00
|
|
|
Send = 0
|
|
|
|
Recv = 1
|
2019-02-22 11:23:36 +00:00
|
|
|
|
2019-02-17 14:15:40 +00:00
|
|
|
ISO8601_PARSE = "%Y-%m-%dT%H:%M:%S%z"
|
2019-04-28 11:11:48 +00:00
|
|
|
ISO8601_PARSE_MICROSECONDS = "%Y-%m-%dT%H:%M:%S.%f%z"
|
2019-08-30 12:25:19 +00:00
|
|
|
|
|
|
|
ISO8601_FORMAT_DT = "%Y-%m-%dT%H:%M:%S"
|
|
|
|
ISO8601_FORMAT_TZ = "%z"
|
|
|
|
|
|
|
|
|
2019-04-24 13:32:56 +00:00
|
|
|
DATETIME_HUMAN = "%Y/%m/%d %H:%M:%S"
|
2019-10-30 10:25:07 +00:00
|
|
|
DATE_HUMAN = "%Y-%m-%d"
|
2019-02-17 14:15:40 +00:00
|
|
|
|
2019-10-10 11:10:45 +00:00
|
|
|
def datetime_utcnow() -> datetime.datetime:
|
|
|
|
return datetime.datetime.utcnow().replace(tzinfo=datetime.timezone.utc)
|
2019-11-15 12:13:16 +00:00
|
|
|
def datetime_timestamp(seconds: float) -> datetime.datetime:
|
|
|
|
return datetime.datetime.fromtimestamp(seconds).replace(
|
|
|
|
tzinfo=datetime.timezone.utc)
|
2019-10-10 11:10:45 +00:00
|
|
|
|
2019-04-23 20:27:43 +00:00
|
|
|
def iso8601_format(dt: datetime.datetime, milliseconds: bool=False) -> str:
|
2019-08-30 12:25:19 +00:00
|
|
|
dt_format = dt.strftime(ISO8601_FORMAT_DT)
|
|
|
|
tz_format = dt.strftime(ISO8601_FORMAT_TZ)
|
2019-04-23 20:27:43 +00:00
|
|
|
|
2019-08-30 12:25:19 +00:00
|
|
|
ms_format = ""
|
|
|
|
if milliseconds:
|
2019-08-30 12:46:00 +00:00
|
|
|
ms_format = ".%s" % str(int(dt.microsecond/1000)).zfill(3)
|
|
|
|
|
2019-08-30 12:25:19 +00:00
|
|
|
return "%s%s%s" % (dt_format, ms_format, tz_format)
|
|
|
|
def iso8601_format_now(milliseconds: bool=False) -> str:
|
2019-10-10 11:10:45 +00:00
|
|
|
return iso8601_format(datetime_utcnow(), milliseconds=milliseconds)
|
2019-04-28 11:11:48 +00:00
|
|
|
def iso8601_parse(s: str, microseconds: bool=False) -> datetime.datetime:
|
|
|
|
fmt = ISO8601_PARSE_MICROSECONDS if microseconds else ISO8601_PARSE
|
|
|
|
return datetime.datetime.strptime(s, fmt)
|
2019-02-12 11:08:24 +00:00
|
|
|
|
2019-04-24 13:32:56 +00:00
|
|
|
def datetime_human(dt: datetime.datetime):
|
|
|
|
return datetime.datetime.strftime(dt, DATETIME_HUMAN)
|
2019-10-30 10:25:07 +00:00
|
|
|
def date_human(dt: datetime.datetime):
|
|
|
|
return datetime.datetime.strftime(dt, DATE_HUMAN)
|
2019-04-24 13:32:56 +00:00
|
|
|
|
2018-10-03 12:22:37 +00:00
|
|
|
TIME_SECOND = 1
|
|
|
|
TIME_MINUTE = TIME_SECOND*60
|
|
|
|
TIME_HOUR = TIME_MINUTE*60
|
|
|
|
TIME_DAY = TIME_HOUR*24
|
|
|
|
TIME_WEEK = TIME_DAY*7
|
|
|
|
|
2018-10-30 14:58:48 +00:00
|
|
|
def time_unit(seconds: int) -> typing.Tuple[int, str]:
|
2018-10-03 12:22:37 +00:00
|
|
|
since = None
|
|
|
|
unit = None
|
|
|
|
if seconds >= TIME_WEEK:
|
|
|
|
since = seconds/TIME_WEEK
|
|
|
|
unit = "week"
|
|
|
|
elif seconds >= TIME_DAY:
|
|
|
|
since = seconds/TIME_DAY
|
|
|
|
unit = "day"
|
|
|
|
elif seconds >= TIME_HOUR:
|
|
|
|
since = seconds/TIME_HOUR
|
|
|
|
unit = "hour"
|
|
|
|
elif seconds >= TIME_MINUTE:
|
|
|
|
since = seconds/TIME_MINUTE
|
|
|
|
unit = "minute"
|
|
|
|
else:
|
|
|
|
since = seconds
|
|
|
|
unit = "second"
|
|
|
|
since = int(since)
|
|
|
|
if since > 1:
|
|
|
|
unit = "%ss" % unit # pluralise the unit
|
2018-10-30 14:58:48 +00:00
|
|
|
return (since, unit)
|
2018-10-03 12:22:37 +00:00
|
|
|
|
2019-09-04 10:22:56 +00:00
|
|
|
REGEX_PRETTYTIME = re.compile(
|
|
|
|
r"(?:(\d+)w)?(?:(\d+)d)?(?:(\d+)h)?(?:(\d+)m)?(?:(\d+)s)?", re.I)
|
2018-10-03 12:22:37 +00:00
|
|
|
|
|
|
|
SECONDS_MINUTES = 60
|
|
|
|
SECONDS_HOURS = SECONDS_MINUTES*60
|
|
|
|
SECONDS_DAYS = SECONDS_HOURS*24
|
|
|
|
SECONDS_WEEKS = SECONDS_DAYS*7
|
|
|
|
|
2018-10-30 14:58:48 +00:00
|
|
|
def from_pretty_time(pretty_time: str) -> typing.Optional[int]:
|
2018-10-03 12:22:37 +00:00
|
|
|
seconds = 0
|
2019-09-04 10:22:56 +00:00
|
|
|
|
|
|
|
match = re.match(REGEX_PRETTYTIME, pretty_time)
|
|
|
|
if match:
|
|
|
|
seconds += int(match.group(1) or 0)*SECONDS_WEEKS
|
|
|
|
seconds += int(match.group(2) or 0)*SECONDS_DAYS
|
|
|
|
seconds += int(match.group(3) or 0)*SECONDS_HOURS
|
|
|
|
seconds += int(match.group(4) or 0)*SECONDS_MINUTES
|
|
|
|
seconds += int(match.group(5) or 0)
|
|
|
|
|
2018-10-03 12:22:37 +00:00
|
|
|
if seconds > 0:
|
|
|
|
return seconds
|
2018-10-31 15:12:46 +00:00
|
|
|
return None
|
2018-10-03 12:22:37 +00:00
|
|
|
|
2018-10-30 14:58:48 +00:00
|
|
|
UNIT_MINIMUM = 6
|
2018-10-03 12:22:37 +00:00
|
|
|
UNIT_SECOND = 5
|
|
|
|
UNIT_MINUTE = 4
|
|
|
|
UNIT_HOUR = 3
|
|
|
|
UNIT_DAY = 2
|
|
|
|
UNIT_WEEK = 1
|
2018-10-30 14:58:48 +00:00
|
|
|
def to_pretty_time(total_seconds: int, minimum_unit: int=UNIT_SECOND,
|
|
|
|
max_units: int=UNIT_MINIMUM) -> str:
|
2019-02-07 22:47:03 +00:00
|
|
|
if total_seconds == 0:
|
|
|
|
return "0s"
|
|
|
|
|
2018-10-03 12:22:37 +00:00
|
|
|
minutes, seconds = divmod(total_seconds, 60)
|
|
|
|
hours, minutes = divmod(minutes, 60)
|
|
|
|
days, hours = divmod(hours, 24)
|
|
|
|
weeks, days = divmod(days, 7)
|
2019-03-21 17:59:42 +00:00
|
|
|
out = []
|
2018-10-03 12:22:37 +00:00
|
|
|
|
|
|
|
units = 0
|
|
|
|
if weeks and minimum_unit >= UNIT_WEEK and units < max_units:
|
2019-03-21 17:59:42 +00:00
|
|
|
out.append("%dw" % weeks)
|
2018-10-03 12:22:37 +00:00
|
|
|
units += 1
|
|
|
|
if days and minimum_unit >= UNIT_DAY and units < max_units:
|
2019-03-21 17:59:42 +00:00
|
|
|
out.append("%dd" % days)
|
2018-10-03 12:22:37 +00:00
|
|
|
units += 1
|
|
|
|
if hours and minimum_unit >= UNIT_HOUR and units < max_units:
|
2019-03-21 17:59:42 +00:00
|
|
|
out.append("%dh" % hours)
|
2018-10-03 12:22:37 +00:00
|
|
|
units += 1
|
|
|
|
if minutes and minimum_unit >= UNIT_MINUTE and units < max_units:
|
2019-03-21 17:59:42 +00:00
|
|
|
out.append("%dm" % minutes)
|
2018-10-03 12:22:37 +00:00
|
|
|
units += 1
|
|
|
|
if seconds and minimum_unit >= UNIT_SECOND and units < max_units:
|
2019-03-21 17:59:42 +00:00
|
|
|
out.append("%ds" % seconds)
|
2018-10-03 12:22:37 +00:00
|
|
|
units += 1
|
2019-03-21 17:59:42 +00:00
|
|
|
return " ".join(out)
|
2018-10-03 12:22:37 +00:00
|
|
|
|
2018-10-30 14:58:48 +00:00
|
|
|
def parse_number(s: str) -> str:
|
2018-10-12 10:28:14 +00:00
|
|
|
try:
|
|
|
|
decimal.Decimal(s)
|
2018-10-12 10:16:39 +00:00
|
|
|
return s
|
2018-10-12 10:28:14 +00:00
|
|
|
except:
|
|
|
|
pass
|
2018-10-12 10:16:39 +00:00
|
|
|
|
|
|
|
unit = s[-1].lower()
|
2018-10-30 17:49:35 +00:00
|
|
|
number_str = s[:-1]
|
2018-10-12 10:28:14 +00:00
|
|
|
try:
|
2018-10-30 17:49:35 +00:00
|
|
|
number = decimal.Decimal(number_str)
|
2018-10-12 10:28:14 +00:00
|
|
|
except:
|
2018-11-16 17:45:40 +00:00
|
|
|
raise ValueError("Invalid format '%s' passed to parse_number" %
|
|
|
|
number_str)
|
2018-10-12 10:16:39 +00:00
|
|
|
|
|
|
|
if unit == "k":
|
2018-10-12 10:28:14 +00:00
|
|
|
number *= decimal.Decimal("1_000")
|
2018-10-12 10:16:39 +00:00
|
|
|
elif unit == "m":
|
2018-10-12 10:28:14 +00:00
|
|
|
number *= decimal.Decimal("1_000_000")
|
2018-10-12 10:16:39 +00:00
|
|
|
elif unit == "b":
|
2018-10-12 10:28:14 +00:00
|
|
|
number *= decimal.Decimal("1_000_000_000")
|
2018-10-12 10:16:39 +00:00
|
|
|
else:
|
2018-10-12 10:21:57 +00:00
|
|
|
raise ValueError("Unknown unit '%s' given to parse_number" % unit)
|
2018-10-12 10:16:39 +00:00
|
|
|
return str(number)
|
|
|
|
|
2018-10-30 14:58:48 +00:00
|
|
|
def prevent_highlight(nickname: str) -> str:
|
2018-10-03 12:22:37 +00:00
|
|
|
return nickname[0]+"\u200c"+nickname[1:]
|
|
|
|
|
2018-10-16 13:47:01 +00:00
|
|
|
class EventError(Exception):
|
|
|
|
pass
|
2018-10-20 19:51:29 +00:00
|
|
|
class EventsResultsError(EventError):
|
|
|
|
def __init__(self):
|
|
|
|
EventError.__init__(self, "Failed to load results")
|
2018-10-30 14:58:48 +00:00
|
|
|
class EventsNotEnoughArgsError(EventError):
|
|
|
|
def __init__(self, n):
|
|
|
|
EventError.__init__(self, "Not enough arguments (minimum %d)" % n)
|
|
|
|
class EventsUsageError(EventError):
|
|
|
|
def __init__(self, usage):
|
|
|
|
EventError.__init__(self, "Not enough arguments, usage: %s" % usage)
|
|
|
|
|
2019-07-26 10:58:06 +00:00
|
|
|
class BitBotMagic(object):
|
|
|
|
def __init__(self):
|
|
|
|
self._hooks: typing.List[typing.Tuple[str, dict]] = []
|
|
|
|
self._kwargs: typing.List[typing.Tuple[str, typing.Any]] = []
|
|
|
|
self._exports: typing.List[typing.Tuple[str, typing.Any]] = []
|
|
|
|
def add_hook(self, hook: str, kwargs: dict):
|
|
|
|
self._hooks.append((hook, kwargs))
|
|
|
|
def add_kwarg(self, key: str, value: typing.Any):
|
|
|
|
self._kwargs.append((key, value))
|
|
|
|
|
|
|
|
def get_hooks(self):
|
2019-10-25 22:32:00 +00:00
|
|
|
hooks: typing.List[typing.Tuple[str, typing.List[Tuple[str, typing.Any]]]] = []
|
2019-07-26 10:58:06 +00:00
|
|
|
for hook, kwargs in self._hooks:
|
|
|
|
hooks.append((hook, self._kwargs.copy()+list(kwargs.items())))
|
|
|
|
return hooks
|
|
|
|
|
|
|
|
def add_export(self, key: str, value: typing.Any):
|
|
|
|
self._exports.append((key, value))
|
|
|
|
def get_exports(self):
|
|
|
|
return self._exports.copy()
|
|
|
|
|
|
|
|
def get_magic(obj: typing.Any):
|
|
|
|
if not has_magic(obj):
|
|
|
|
setattr(obj, consts.BITBOT_MAGIC, BitBotMagic())
|
|
|
|
return getattr(obj, consts.BITBOT_MAGIC)
|
|
|
|
def has_magic(obj: typing.Any):
|
|
|
|
return hasattr(obj, consts.BITBOT_MAGIC)
|
|
|
|
|
2018-10-30 14:58:48 +00:00
|
|
|
def hook(event: str, **kwargs):
|
2018-10-03 12:22:37 +00:00
|
|
|
def _hook_func(func):
|
2019-07-26 10:58:06 +00:00
|
|
|
magic = get_magic(func)
|
|
|
|
magic.add_hook(event, kwargs)
|
2018-10-03 12:22:37 +00:00
|
|
|
return func
|
|
|
|
return _hook_func
|
2018-10-30 14:58:48 +00:00
|
|
|
def export(setting: str, value: typing.Any):
|
2018-10-03 12:22:37 +00:00
|
|
|
def _export_func(module):
|
2019-07-26 10:58:06 +00:00
|
|
|
magic = get_magic(module)
|
|
|
|
magic.add_export(setting, value)
|
2018-10-03 12:22:37 +00:00
|
|
|
return module
|
|
|
|
return _export_func
|
2019-06-26 13:37:26 +00:00
|
|
|
def kwarg(key: str, value: typing.Any):
|
|
|
|
def _kwarg_func(func):
|
2019-07-26 10:58:06 +00:00
|
|
|
magic = get_magic(func)
|
|
|
|
magic.add_kwarg(key, value)
|
2019-06-26 13:37:26 +00:00
|
|
|
return func
|
|
|
|
return _kwarg_func
|
2018-10-03 12:22:37 +00:00
|
|
|
|
2019-06-14 11:01:55 +00:00
|
|
|
class MultiCheck(object):
|
|
|
|
def __init__(self,
|
|
|
|
requests: typing.List[typing.Tuple[str, typing.List[str]]]):
|
2019-06-15 17:42:14 +00:00
|
|
|
self._requests = requests
|
|
|
|
def to_multi(self):
|
|
|
|
return self
|
|
|
|
def requests(self):
|
|
|
|
return self._requests[:]
|
2019-06-16 19:48:31 +00:00
|
|
|
def __or__(self, other: "Check"):
|
|
|
|
return MultiCheck(self._requests+[(other.request, other.args)])
|
2019-06-14 10:42:12 +00:00
|
|
|
class Check(object):
|
2019-06-14 11:12:38 +00:00
|
|
|
def __init__(self, request: str, *args: str):
|
2019-06-14 10:42:12 +00:00
|
|
|
self.request = request
|
2019-06-14 11:12:38 +00:00
|
|
|
self.args = list(args)
|
2019-06-14 11:01:55 +00:00
|
|
|
def to_multi(self):
|
|
|
|
return MultiCheck([(self.request, self.args)])
|
|
|
|
def __or__(self, other: "Check"):
|
|
|
|
return MultiCheck([(self.request, self.args),
|
|
|
|
(other.request, other.args)])
|
2019-06-14 10:42:12 +00:00
|
|
|
|
2018-10-30 14:58:48 +00:00
|
|
|
TOP_10_CALLABLE = typing.Callable[[typing.Any], typing.Any]
|
2018-10-30 17:49:35 +00:00
|
|
|
def top_10(items: typing.Dict[typing.Any, typing.Any],
|
2018-10-30 14:58:48 +00:00
|
|
|
convert_key: TOP_10_CALLABLE=lambda x: x,
|
|
|
|
value_format: TOP_10_CALLABLE=lambda x: x):
|
|
|
|
top_10 = sorted(items.keys())
|
|
|
|
top_10 = sorted(top_10, key=items.get, reverse=True)[:10]
|
|
|
|
|
|
|
|
top_10_items = []
|
|
|
|
for key in top_10:
|
|
|
|
top_10_items.append("%s (%s)" % (convert_key(key),
|
|
|
|
value_format(items[key])))
|
|
|
|
|
|
|
|
return top_10_items
|
2018-12-08 09:00:12 +00:00
|
|
|
|
|
|
|
class CaseInsensitiveDict(dict):
|
2018-12-08 09:13:01 +00:00
|
|
|
def __init__(self, other: typing.Dict[str, typing.Any]):
|
|
|
|
dict.__init__(self, ((k.lower(), v) for k, v in other.items()))
|
|
|
|
def __getitem__(self, key: str) -> typing.Any:
|
2018-12-08 09:00:12 +00:00
|
|
|
return dict.__getitem__(self, key.lower())
|
2018-12-08 09:13:01 +00:00
|
|
|
def __setitem__(self, key: str, value: typing.Any) -> typing.Any:
|
|
|
|
return dict.__setitem__(self, key.lower(), value)
|
2019-10-25 22:32:00 +00:00
|
|
|
def __contains__(self, key: typing.Any) -> bool:
|
|
|
|
if isinstance(key, str):
|
|
|
|
return dict.__contains__(self, key.lower())
|
|
|
|
else:
|
2019-10-31 13:06:26 +00:00
|
|
|
raise TypeError("Expected string, not %r" % key)
|
2019-09-17 12:40:37 +00:00
|
|
|
def get(self, key: str, default: typing.Any=None):
|
|
|
|
return dict.get(self, key.lower(), default)
|
2019-02-06 18:11:19 +00:00
|
|
|
|
|
|
|
def is_ip(s: str) -> bool:
|
|
|
|
try:
|
|
|
|
ipaddress.ip_address(s)
|
|
|
|
except ValueError:
|
|
|
|
return False
|
|
|
|
return True
|
2019-02-25 10:36:17 +00:00
|
|
|
|
|
|
|
def is_main_thread() -> bool:
|
|
|
|
return threading.current_thread() is threading.main_thread()
|
2019-06-28 22:16:05 +00:00
|
|
|
|
2019-10-04 09:25:48 +00:00
|
|
|
class SettingParseException(Exception):
|
|
|
|
pass
|
|
|
|
|
2019-06-28 22:16:05 +00:00
|
|
|
class Setting(object):
|
2019-06-29 21:26:28 +00:00
|
|
|
example: typing.Optional[str] = None
|
2019-06-28 22:16:05 +00:00
|
|
|
def __init__(self, name: str, help: str=None, example: str=None):
|
|
|
|
self.name = name
|
|
|
|
self.help = help
|
2019-06-29 20:33:26 +00:00
|
|
|
if not example == None:
|
|
|
|
self.example = example
|
2019-06-28 22:16:05 +00:00
|
|
|
def parse(self, value: str) -> typing.Any:
|
|
|
|
return value
|
|
|
|
|
2019-06-29 20:33:26 +00:00
|
|
|
def get_example(self):
|
|
|
|
if not self.example == None:
|
|
|
|
return "Example: %s" % self.example
|
|
|
|
else:
|
|
|
|
return self._format_example()
|
|
|
|
def _format_example(self):
|
|
|
|
return None
|
|
|
|
|
2019-09-12 11:17:09 +00:00
|
|
|
def format(self, value: typing.Any):
|
|
|
|
return repr(value)
|
|
|
|
|
2019-06-28 22:16:05 +00:00
|
|
|
SETTING_TRUE = ["true", "yes", "on", "y"]
|
|
|
|
SETTING_FALSE = ["false", "no", "off", "n"]
|
|
|
|
class BoolSetting(Setting):
|
2019-10-25 22:32:00 +00:00
|
|
|
example: typing.Optional[str] = "on"
|
2019-06-28 22:16:05 +00:00
|
|
|
def parse(self, value: str) -> typing.Any:
|
|
|
|
value_lower = value.lower()
|
|
|
|
if value_lower in SETTING_TRUE:
|
|
|
|
return True
|
|
|
|
elif value_lower in SETTING_FALSE:
|
|
|
|
return False
|
|
|
|
return None
|
|
|
|
|
|
|
|
class IntSetting(Setting):
|
2019-10-25 22:32:00 +00:00
|
|
|
example: typing.Optional[str] = "10"
|
2019-06-28 22:16:05 +00:00
|
|
|
def parse(self, value: str) -> typing.Any:
|
2019-09-15 21:22:30 +00:00
|
|
|
if value == "0":
|
|
|
|
return 0
|
|
|
|
else:
|
|
|
|
stripped = value.lstrip("0")
|
|
|
|
if stripped.isdigit():
|
|
|
|
return int(stripped)
|
2019-06-28 22:16:05 +00:00
|
|
|
return None
|
|
|
|
|
2019-08-30 13:40:54 +00:00
|
|
|
class IntRangeSetting(IntSetting):
|
2019-10-25 22:32:00 +00:00
|
|
|
example: typing.Optional[str] = None
|
2019-08-30 13:40:54 +00:00
|
|
|
def __init__(self, n_min: int, n_max: int, name: str, help: str=None,
|
|
|
|
example: str=None):
|
|
|
|
self._n_min = n_min
|
|
|
|
self._n_max = n_max
|
|
|
|
Setting.__init__(self, name, help, example)
|
|
|
|
|
|
|
|
def parse(self, value: str) -> typing.Any:
|
|
|
|
out = IntSetting.parse(self, value)
|
|
|
|
if not out == None and self._n_min <= out <= self._n_max:
|
|
|
|
return out
|
|
|
|
return None
|
|
|
|
|
|
|
|
def _format_example(self):
|
|
|
|
return "Must be between %d and %d" % (self._n_min, self._n_max)
|
|
|
|
|
2019-06-28 22:25:24 +00:00
|
|
|
class OptionsSetting(Setting):
|
2019-08-30 13:40:54 +00:00
|
|
|
def __init__(self, options: typing.List[str], name: str, help: str=None,
|
2019-06-29 21:26:28 +00:00
|
|
|
example: str=None,
|
|
|
|
options_factory: typing.Callable[[], typing.List[str]]=None):
|
2019-06-28 22:25:24 +00:00
|
|
|
self._options = options
|
2019-06-29 21:26:28 +00:00
|
|
|
self._options_factory = options_factory
|
2019-06-28 22:27:56 +00:00
|
|
|
Setting.__init__(self, name, help, example)
|
2019-06-28 22:25:24 +00:00
|
|
|
|
2019-06-29 21:26:28 +00:00
|
|
|
def _get_options(self):
|
|
|
|
if not self._options_factory == None:
|
|
|
|
return self._options_factory()
|
|
|
|
else:
|
|
|
|
return self._options
|
|
|
|
|
2019-06-28 22:25:24 +00:00
|
|
|
def parse(self, value: str) -> typing.Any:
|
|
|
|
value_lower = value.lower()
|
2019-06-29 21:26:28 +00:00
|
|
|
for option in self._get_options():
|
2019-06-28 22:25:24 +00:00
|
|
|
if option.lower() == value_lower:
|
|
|
|
return option
|
|
|
|
return None
|
2019-06-29 20:33:26 +00:00
|
|
|
|
|
|
|
def _format_example(self):
|
2019-06-29 21:26:28 +00:00
|
|
|
options = self._get_options()
|
|
|
|
options_str = ["'%s'" % option for option in options]
|
|
|
|
return "Options: %s" % ", ".join(options_str)
|
2019-08-30 16:17:03 +00:00
|
|
|
|
2019-09-02 07:51:56 +00:00
|
|
|
class FunctionSetting(Setting):
|
|
|
|
def __init__(self, func: typing.Callable[[str], bool], name: str,
|
2019-10-08 10:38:56 +00:00
|
|
|
help: str=None, example: str=None, format=None):
|
2019-09-02 07:51:56 +00:00
|
|
|
self._func = func
|
|
|
|
Setting.__init__(self, name, help, example)
|
2019-10-08 10:38:56 +00:00
|
|
|
if not format == None:
|
2019-10-25 22:32:00 +00:00
|
|
|
self.format = format # type: ignore
|
2019-09-02 07:51:56 +00:00
|
|
|
|
|
|
|
def parse(self, value: str) -> typing.Any:
|
|
|
|
return self._func(value)
|
|
|
|
|
2019-10-08 10:38:56 +00:00
|
|
|
def sensitive_format(value: typing.Any):
|
|
|
|
return "*"*16
|
|
|
|
|
2019-09-12 11:17:31 +00:00
|
|
|
class SensitiveSetting(Setting):
|
|
|
|
def format(self, value: typing.Any):
|
2019-10-08 10:38:56 +00:00
|
|
|
return sensitive_format(value)
|
2019-09-12 11:17:31 +00:00
|
|
|
|
2019-08-30 16:17:03 +00:00
|
|
|
class DeadlineExceededException(Exception):
|
|
|
|
pass
|
|
|
|
def _raise_deadline():
|
|
|
|
raise DeadlineExceededException()
|
|
|
|
|
2019-08-30 17:13:12 +00:00
|
|
|
@contextlib.contextmanager
|
|
|
|
def deadline(seconds: int=10):
|
|
|
|
old_handler = signal.signal(signal.SIGALRM,
|
|
|
|
lambda _1, _2: _raise_deadline())
|
2019-08-30 17:36:48 +00:00
|
|
|
old_seconds, _ = signal.setitimer(signal.ITIMER_REAL, seconds, 0)
|
|
|
|
|
2019-08-30 16:17:03 +00:00
|
|
|
try:
|
2019-09-02 14:49:55 +00:00
|
|
|
if not old_seconds == 0.0 and seconds > old_seconds:
|
|
|
|
raise ValueError(
|
|
|
|
"Deadline timeout larger than parent deadline (%s > %s)" %
|
|
|
|
(seconds, old_seconds))
|
|
|
|
|
2019-08-30 17:13:12 +00:00
|
|
|
yield
|
2019-08-30 16:17:03 +00:00
|
|
|
finally:
|
2019-08-30 17:13:12 +00:00
|
|
|
signal.signal(signal.SIGALRM, old_handler)
|
2019-08-30 17:36:48 +00:00
|
|
|
signal.setitimer(signal.ITIMER_REAL, old_seconds, 0)
|
2019-09-17 10:56:30 +00:00
|
|
|
|
2019-10-31 13:06:26 +00:00
|
|
|
DeadlineProcessReturnType = typing.TypeVar("DeadlineProcessReturnType")
|
2019-10-25 22:32:00 +00:00
|
|
|
def deadline_process(func: typing.Callable[[], DeadlineProcessReturnType],
|
|
|
|
seconds: int=10) -> DeadlineProcessReturnType:
|
2019-10-31 13:06:26 +00:00
|
|
|
q: multiprocessing.Queue[
|
|
|
|
typing.Tuple[bool, DeadlineProcessReturnType]] = multiprocessing.Queue()
|
2019-09-17 10:56:30 +00:00
|
|
|
def _wrap(func, q):
|
|
|
|
try:
|
|
|
|
q.put([True, func()])
|
|
|
|
except Exception as e:
|
|
|
|
q.put([False, e])
|
|
|
|
|
|
|
|
p = multiprocessing.Process(target=_wrap, args=(func, q))
|
|
|
|
p.start()
|
|
|
|
|
2019-09-18 09:21:40 +00:00
|
|
|
deadlined = False
|
2019-09-17 12:39:23 +00:00
|
|
|
try:
|
|
|
|
success, out = q.get(block=True, timeout=seconds)
|
|
|
|
except queue.Empty:
|
2019-10-25 22:32:00 +00:00
|
|
|
p.kill() # type: ignore # to make mypy pass on Python 3.6
|
2019-09-18 09:21:40 +00:00
|
|
|
deadlined = True
|
2019-09-18 09:24:01 +00:00
|
|
|
finally:
|
|
|
|
q.close()
|
2019-09-18 09:21:40 +00:00
|
|
|
|
|
|
|
if deadlined:
|
2019-09-17 10:56:30 +00:00
|
|
|
_raise_deadline()
|
|
|
|
|
|
|
|
if success:
|
|
|
|
return out
|
|
|
|
else:
|
2019-10-25 22:32:00 +00:00
|
|
|
raise out # type: ignore
|