From 51b0de5670ce53a5ce8277f3b81fb9c1873c59be Mon Sep 17 00:00:00 2001
From: Alex Roitman <aroitman@housecanary.com>
Date: Fri, 26 Apr 2019 12:46:15 -0700
Subject: [PATCH] Fix description of TIMEOUT command -- seconds are not
 optional.

---
 core/commands.json   | 1 -
 core/commands_gen.go | 1 -
 2 files changed, 2 deletions(-)

diff --git a/core/commands.json b/core/commands.json
index e4bc7f96..5d4e3048 100644
--- a/core/commands.json
+++ b/core/commands.json
@@ -1334,7 +1334,6 @@
     "arguments": [
       {
         "name": "seconds",
-        "optional": true,
         "type": "double"
       }
     ],
diff --git a/core/commands_gen.go b/core/commands_gen.go
index e55c2850..28f7b31f 100644
--- a/core/commands_gen.go
+++ b/core/commands_gen.go
@@ -1500,7 +1500,6 @@ var commandsJSON = `{
     "arguments": [
       {
         "name": "seconds",
-        "optional": true,
         "type": "double"
       }
     ],