# HG changeset patch
# User reimar
# Date 1261829234 0
# Node ID 728444c29ec0e5722a4f234197ca8b2116994025
# Parent  f7628df3079bfe1c2ab2708716cd6fba2a32ec52
Set some freed pointers to NULL.

diff -r f7628df3079b -r 728444c29ec0 mplayer.c
--- a/mplayer.c	Sat Dec 26 12:04:48 2009 +0000
+++ b/mplayer.c	Sat Dec 26 12:07:14 2009 +0000
@@ -699,6 +699,7 @@
 
 #ifdef CONFIG_ASS
   ass_library_done(ass_library);
+  ass_library = NULL;
 #endif
 
   current_module="exit_player";
@@ -706,14 +707,18 @@
 // free mplayer config
   if(mconfig)
     m_config_free(mconfig);
+  mconfig = NULL;
 
   if(mpctx->playtree_iter)
     play_tree_iter_free(mpctx->playtree_iter);
+  mpctx->playtree_iter = NULL;
   if(mpctx->playtree)
     play_tree_free(mpctx->playtree, 1);
+  mpctx->playtree = NULL;
 
 
   if(edl_records != NULL) free(edl_records); // free mem allocated for EDL
+  edl_records = NULL;
   switch(how) {
   case EXIT_QUIT:
     mp_msg(MSGT_CPLAYER,MSGL_INFO,MSGTR_ExitingHow,MSGTR_Exit_quit);