Question about the DirServer

[Marvin Preuss]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,
im new here so first a big Hi to everyone :)
Since two days i run a little tor server now and i just have some
question about the DirServer. What is when a Server dont exist no more?
is there a time out when the server gets deleted from the list? or they
just always stay in the list and just get marked as offline? thanks
already :)

Marvin
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFD2jmEChE8w47F3oMRAuOvAJ9U11Mub7iarS5o1cWRIqLgLXC0pwCfYVUa
fZkuyYHZKAx653VJXHUEddM=
=IUIa
-----END PGP SIGNATURE-----