The cvs version of AggieCmd.cs has falled out of date
with changes to Aggie.cs and Gui.cs. The first problem
is that Aggie.cs expects that something has been
attached to the AggregationPhaseCompleted event;
AggieCmd.cs does not do this, which leads to a
NullReferenceException. The second problem is the
AggieCmd.cs never calls news_.Close(), so the thread
pool never terminates.
I have attached an updated version of this file which
corrects these two issues.
Up to date AggieCmd.cs