| Index: devil/devil/utils/watchdog_timer.py
|
| diff --git a/devil/devil/utils/watchdog_timer.py b/devil/devil/utils/watchdog_timer.py
|
| index 2f4c46455be7c9751e9a570a8f41cac0e3430cf7..bff1f8cc0143efcdc98dec774a5be56e3fb242f0 100644
|
| --- a/devil/devil/utils/watchdog_timer.py
|
| +++ b/devil/devil/utils/watchdog_timer.py
|
| @@ -37,6 +37,10 @@ class WatchdogTimer(object):
|
| else:
|
| return None
|
|
|
| + def GetTimeout(self):
|
| + """Returns the timout of the watchdog."""
|
| + return self._timeout
|
| +
|
| def IsTimedOut(self):
|
| """Whether the watchdog has timed out.
|
|
|
|
|