From 8188aeb9b8cf65d77d2172ee3d06dc042b320cde Mon Sep 17 00:00:00 2001 From: jesopo Date: Thu, 31 Oct 2019 13:06:49 +0000 Subject: [PATCH] fix bitbotd `database.servers.delete` type hint issue --- bitbotd | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bitbotd b/bitbotd index 8f90fe62..defd93c7 100755 --- a/bitbotd +++ b/bitbotd @@ -6,7 +6,7 @@ if sys.version_info < (3, 6): sys.stderr.write("BitBot requires python 3.6.0 or later\n") sys.exit(1) -import atexit, argparse, faulthandler, os, platform, time +import atexit, argparse, faulthandler, os, platform, time, typing from src import Cache, Config, Control, Database, EventManager, Exports, IRCBot from src import LockFile, Logging, ModuleManager, Timers, utils @@ -97,7 +97,7 @@ if args.remove_server: alias = args.remove_server id = database.servers.by_alias(alias) if not id == None: - database.servers.delete(id) + database.servers.delete(typing.cast(int, id)) print("Deleted server '%s'" % alias) else: sys.stderr.write("Unknown server '%s'\n" % alias)