diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-27 14:18:00 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-27 14:18:00 (GMT) |
| commit | a47c35f84688ea90f8ee50bc8f40b811c6b887c2 (patch) | |
| tree | 992a7e13b51ebc26e615a167483291d7487ee475 /devbot/state.py | |
| parent | 3e0b6b5c3a863f3a2ad035e73bf5b58968757f8f (diff) | |
Fix and simplify skipping modules
Diffstat (limited to 'devbot/state.py')
| -rw-r--r-- | devbot/state.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/devbot/state.py b/devbot/state.py index 1eaf3ac..9bca7d2 100644 --- a/devbot/state.py +++ b/devbot/state.py @@ -30,8 +30,11 @@ def touch_built_commit_id(module): _state_changed() def remove_built_commit_id(module): - del _get_state()["built_modules"][module.name] - _state_changed() + state = _get_state() + + if module.name in state["built_modules"]: + del state["built_modules"][module.name] + _state_changed() def get_built_commit_id(module): return _get_state()["built_modules"].get(module.name, None) |