public void Dispose()
 {
     exit = true;
     reader.Dispose();
 }