playlist: fix command line options

[vlc] / src / playlist / thread.c

diff --git a/src/playlist/thread.c b/src/playlist/thread.c
index a571f69f1ef0a85bb0022e7f980597125462d204..8aaf782cb3ef22fe8699e6eb3a85cc24384d847b 100644 (file)
--- a/src/playlist/thread.c
+++ b/src/playlist/thread.c
@@ -109,8 +109,8 @@ void playlist_Deactivate( playlist_t *p_playlist )
         input_resource_Delete( p_sys->p_input_resource );
     p_sys->p_input_resource = NULL;
 
-    /* */
-    playlist_MLDump( p_playlist );
+    if( var_InheritBool( p_playlist, "media-library" ) )
+        playlist_MLDump( p_playlist );
 
     PL_LOCK;