#1518 (Mar 13, 2018, 8:04:09 PM)

1. merged (detail / hgweb)
2. added server command "session_build": similar to JEdit_Resources.session_build; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. tuned; (detail / hgweb)
5. more flexible preferences: avoid hardwired file;
   tuned signature; (detail / hgweb)
6. tuned; (detail / hgweb)
7. more operations for typed JSON values; (detail / hgweb)
8. clarified signature; (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. tuned signature;
    tuned output; (detail / hgweb)
11. explicit Server.Context with output channels (concurrent write);
    support for Logger and Progress; (detail / hgweb)
12. allow "." in message name; (detail / hgweb)
13. re-use existing in/out streams; (detail / hgweb)
14. tuned signature -- more generic; (detail / hgweb)
15. tuned imports; (detail / hgweb)
16. tuned; (detail / hgweb)
17. tuned signature; (detail / hgweb)
18. clarified signature -- do not expose socket; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 4 sec waiting;
• 50 min build duration;
• 55 min total from scheduled to completion.