diff options
| author | bokuweb <bokuweb@users.noreply.github.com> | 2019-01-27 06:10:38 +0900 |
|---|---|---|
| committer | Bert Belder <bertbelder@gmail.com> | 2019-01-26 22:10:38 +0100 |
| commit | aaaa35548e146348a7f0c417e7ae64889fe744fb (patch) | |
| tree | e2105792dba1b59594b0e5341782f31c93b889de /src/msg.fbs | |
| parent | 19b2d4a62a7c4a0d323ea9307410e5afe00a4871 (diff) | |
timers: use int instead of double for timeout type (#1469)
Diffstat (limited to 'src/msg.fbs')
| -rw-r--r-- | src/msg.fbs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/msg.fbs b/src/msg.fbs index 4b303535f..e13b15daa 100644 --- a/src/msg.fbs +++ b/src/msg.fbs @@ -202,7 +202,7 @@ table Chdir { } table SetTimeout { - timeout: double; + timeout: int; } table Exit { |