match_webjump: cast keys of 'webjumps' as String
commitf3a862c2993ed4d4d8e44020d491c55b1cd055a5
authorJohn Foerch <jjfoerch@earthlink.net>
Sat, 26 Mar 2011 21:51:25 +0000 (26 17:51 -0400)
committerJohn Foerch <jjfoerch@earthlink.net>
Sat, 26 Mar 2011 21:51:25 +0000 (26 17:51 -0400)
tree501c820471a9500337ffe95d7bea76ad9bd4ea49
parenteb030a91c55afb21dd399d0e5469a8aa5e06c7b1
match_webjump: cast keys of 'webjumps' as String

if a webjump has a name consisting only of digits, it needs to be
explicitly cast as a string.

resolves http://bugs.conkeror.org/issue346
modules/webjump.js