I'm going to be discontinuing the server that mirrors.gpmidi.net is hosted on in the next few weeks. How long should I leave it up once it's removed from rotation? I'm not in a huge rush; a week or two is fine. 

-Paulson McIntyre