GitLab

the result (chomped and taint checked).

Basically, this lets you search the Emulab docs from the same little
toolbar box that lets you search google, etc.

Works with Firefox 2.0, and should work with IE 7

only one 'flower' so that the whole thing can look clearer. Include
a 32x32 version in the file for browsers using larger status lines.

SVG source file included.

isn't supported by the image (PANIC!)

version (which I will leave in lest it break something by its removal).

globally unique IDs. dump-descriptors.in is a lot uglier, but
load-descriptors.in is still reasonable.

defined (since they are are now integers).

until the priv system is turned on, switch around order of operations
slightly.

(also knows an integers).

  different than tbres/pelabbgmon
- Added ability in manger.pl to kill a node's bgmon.

changes from before are a rewrite entirely in python, support for
swapmods, and of course dealing with PLC4.  The included patch is applied
to the planetlab source by plcsetup at runtime due to the way myplc
manages the bootmanager source (all the patch does is turn off hardware
requirements checking (so our nodes < pc2000 can be used) and
auto-confirms that install should proceed).