Fix kill command with trailing whitespace

This commit is contained in:
Michael Stapelberg 2011-05-13 21:18:20 +02:00
parent 167bdd26b7
commit 3d2cd6abaa
1 changed files with 1 additions and 0 deletions

View File

@ -421,6 +421,7 @@ kill:
optional_kill_mode: optional_kill_mode:
/* empty */ { $$ = KILL_WINDOW; } /* empty */ { $$ = KILL_WINDOW; }
| WHITESPACE { $$ = KILL_WINDOW; }
| WHITESPACE TOK_WINDOW { $$ = KILL_WINDOW; } | WHITESPACE TOK_WINDOW { $$ = KILL_WINDOW; }
| WHITESPACE TOK_CLIENT { $$ = KILL_CLIENT; } | WHITESPACE TOK_CLIENT { $$ = KILL_CLIENT; }
; ;