[developers] start-generator-server

[Stephan Oepen]

hi francis,

> would anyone object to me adding code that would make
> start-generator-server run index-for-generator iff necessary?

the proposed code looks fine to me, though on this line of reasoning,
why not put it right into generate-from-mrs()?

                                                    all best  -  oe

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+++ Universitetet i Oslo (IFI); Boks 1080 Blindern; 0316 Oslo; (+47) 2284 0125
+++     CSLI Stanford; Ventura Hall; Stanford, CA 94305; (+1 650) 723 0515
+++       --- oe at ifi.uio.no; oe at csli.stanford.edu; stephan at oepen.net ---
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++