The config value for facet_max_<...> can be a string or a number
authorWolfram Schneider <wosch@indexdata.dk>
Mon, 19 May 2014 12:14:42 +0000 (12:14 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Mon, 19 May 2014 12:14:42 +0000 (12:14 +0000)
commitd1104229b6ce759a8f825f39d58bde19813a223c
tree21b6a9b4f6760ac669bd49027195bad3dd232241
parentaadb4256e4fe86cc30cdb76438f2ba577f6cbc56
The config value for facet_max_<...> can be a string or a number

 "facet_max_xtargets" : "10"

our JS code will convert it to a number.
src/mkws-widget-termlists.js