From cc79871eaf6d023be2e58abb4013b6c8c4c12990 Mon Sep 17 00:00:00 2001
From: James Lu <GLolol@overdrivenetworks.com>
Date: Tue, 29 Dec 2015 11:03:45 -0800
Subject: [PATCH] exec: add some more default imports for convenience

---
 plugins/exec.py | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/plugins/exec.py b/plugins/exec.py
index e33c542..1bd7237 100644
--- a/plugins/exec.py
+++ b/plugins/exec.py
@@ -9,8 +9,12 @@ sys.path.append(os.path.dirname(os.path.dirname(os.path.abspath(__file__))))
 import utils
 from log import log
 
-# Easier access to world through eval/exec.
+# These imports are not strictly necessary, but make the following modules
+# easier to access through eval and exec.
 import world
+import threading
+import re
+import time
 
 def _exec(irc, source, args):
     """<code>