Slava Pestov f78bbb865e vocabs.refresh.monitor: spin off new monitor threads when add-vocab-root is called. Fixes a problem where depending on the order of startup hooks, refresh-all would sometimes be broken for custom vocab roots		2010-05-31 20:14:54 -04:00
..
cache	…
errors	…
files	…
generated	…
hierarchy	…
metadata	…
prettyprint	…
refresh	vocabs.refresh.monitor: spin off new monitor threads when add-vocab-root is called. Fixes a problem where depending on the order of startup hooks, refresh-all would sometimes be broken for custom vocab roots	2010-05-31 20:14:54 -04:00