docs: add new user guide This has also been reviewed to death on evolve-testers. There are still a couple of short sections to write (clearly marked "TODO"), and one example to add. But (if I may be so bold) this is a gigantic improvement over the current docs, so it really should get merged. Incidentally, the figures are all SVG files created with Inkscape. They're not perfect, but they're pretty nice. Anyone who knows a better way to create technical diagrams is welcome to contribute. One wart: there's a test script that accompanies the document and largely duplicates it, but I haven't unified them. I've been concentrating on writing the best possible content, not on fiddling with tools. I suspect that unifying them will be non-trivial, but definitely worth doing.

     1

#!/usr/bin/env python

     2

     3

import os, time, errno, signal

     4

     5

# Kill off any leftover daemon processes

     6

try:

     7

    fp = open(os.environ['DAEMON_PIDS'])

     8

    for line in fp:

     9

        try:

    10

            pid = int(line)

    11

        except ValueError:

    12

            continue

    13

        try:

    14

            os.kill(pid, 0)

    15

            os.kill(pid, signal.SIGTERM)

    16

            for i in range(10):

    17

                time.sleep(0.05)

    18

                os.kill(pid, 0)

    19

            os.kill(pid, signal.SIGKILL)

    20

        except OSError, err:

    21

            if err.errno != errno.ESRCH:

    22

                raise

    23

    fp.close()

    24

except IOError:

    25

    pass