# HG changeset patch # User albeu # Date 1014904084 0 # Node ID 30798db9527ff21ce07402b9af28e7d601bb691c # Parent 0c1526391dd3194d6e6ec256cca4e68e62dd04c4 New option use-stdin diff -r 0c1526391dd3 -r 30798db9527f cfg-mplayer.h --- a/cfg-mplayer.h Thu Feb 28 13:47:06 2002 +0000 +++ b/cfg-mplayer.h Thu Feb 28 13:48:04 2002 +0000 @@ -4,7 +4,7 @@ #include "cfg-common.h" -extern char *playlist_file; +extern int use_stdin; #ifdef HAVE_FBDEV extern char *fb_dev_name; @@ -295,6 +295,7 @@ {"softsleep", &softsleep, CONF_TYPE_FLAG, 0, 0, 1, NULL}, {"slave", &slave_mode, CONF_TYPE_FLAG,CONF_GLOBAL , 0, 1, NULL}, + {"use-stdin", &use_stdin, CONF_TYPE_FLAG, CONF_GLOBAL, 0, 1, NULL}, #ifdef HAVE_X11 {"wid", &WinID, CONF_TYPE_INT, 0, 0, 0, NULL},