bbbcc1d
Always use the discinfo file from the exploaded tree. It doesn't change. Also, close the file when we're done.