tree 886b0022e5ae057298f7136a6018d28d98b2423b
parent 8384104003da7caa3ab55e6a43d4d84ea297e7cf
author eyuen <eyuen> 1334182168 +0000
committer eyuen <eyuen> 1334182168 +0000

[375507] deleting a server with a dirty server editor