diff options
Diffstat (limited to 'src/config.l')
| -rw-r--r-- | src/config.l | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/config.l b/src/config.l index 4f7dd7f..c4b20ab 100644 --- a/src/config.l +++ b/src/config.l @@ -93,6 +93,7 @@ forward { UPDATE_LOCATION; return TOK_FORWARD; } yes { UPDATE_LOCATION; return TOK_YES; } no { UPDATE_LOCATION; return TOK_NO; } port { UPDATE_LOCATION; return TOK_PORT; } +float { UPDATE_LOCATION; return TOK_FLOAT; } [0-9]{1,3}\.[0-9]{1,3}\.[0-9]{1,3}\.[0-9]{1,3} { UPDATE_LOCATION; |