Index: tools/bots/bot_utils.py |
diff --git a/tools/bots/bot_utils.py b/tools/bots/bot_utils.py |
index d92f4271f88d13a7fbc0f5b3269fe579ae0b5c6f..1feaf2c136af693a83f85ff4ddff2457d3e39ed9 100644 |
--- a/tools/bots/bot_utils.py |
+++ b/tools/bots/bot_utils.py |
@@ -12,13 +12,6 @@ import string |
import subprocess |
import sys |
-# The resource package does not exist on Windows but its functionality is not |
-# used there, either. |
-try: |
- import resource |
-except ImportError: |
- resource = None; |
- |
DART_DIR = os.path.abspath( |
os.path.normpath(os.path.join(__file__, '..', '..', '..'))) |
@@ -372,14 +365,3 @@ def GetChannelFromName(name): |
if channel_name in Channel.ALL_CHANNELS: |
return channel_name |
return Channel.BLEEDING_EDGE |
- |
-class CoredumpEnabler(object): |
- def __init__(self): |
- self._old_limits = None |
- |
- def __enter__(self): |
- self._old_limits = resource.getrlimit(resource.RLIMIT_CORE) |
- resource.setrlimit(resource.RLIMIT_CORE, (-1, -1)) |
- |
- def __exit__(self, *_): |
- resource.setrlimit(resource.RLIMIT_CORE, self._old_limits) |