| Index: appengine/swarming/swarming_rpcs.py
|
| diff --git a/appengine/swarming/swarming_rpcs.py b/appengine/swarming/swarming_rpcs.py
|
| index 809d78b3111a6f05caddf9bd00405573545df5db..d9bbe2413a5973ba1bb7ae66ba52b31688bf6be7 100644
|
| --- a/appengine/swarming/swarming_rpcs.py
|
| +++ b/appengine/swarming/swarming_rpcs.py
|
| @@ -494,6 +494,7 @@ class BotInfo(messages.Message):
|
| state = messages.StringField(12)
|
| lease_id = messages.StringField(13)
|
| lease_expiration_ts = message_types.DateTimeField(14)
|
| + deleted = messages.BooleanField(15)
|
|
|
|
|
| class BotList(messages.Message):
|
|
|