summaryrefslogtreecommitdiff
path: root/src/lib/config.h
diff options
context:
space:
mode:
authorCarl Hetherington <cth@carlh.net>2019-02-15 00:56:23 +0000
committerCarl Hetherington <cth@carlh.net>2019-02-15 00:56:23 +0000
commit8f7fdb9fdcd4ffd076f07de9f49801fe01991776 (patch)
tree23c3c4333156e4e30083dcefaefec0275a04e4f3 /src/lib/config.h
parent7d1c30d17b3494e07fd32dd34cd4806006e725dd (diff)
Add support for player logging.v2.13.119
Diffstat (limited to 'src/lib/config.h')
-rw-r--r--src/lib/config.h19
1 files changed, 19 insertions, 0 deletions
diff --git a/src/lib/config.h b/src/lib/config.h
index 5ae14ebda..21463fdb5 100644
--- a/src/lib/config.h
+++ b/src/lib/config.h
@@ -79,6 +79,7 @@ public:
INTERFACE_COMPLEXITY,
PLAYER_CONTENT_DIRECTORY,
PLAYER_PLAYLIST_DIRECTORY,
+ PLAYER_DEBUG_LOG,
HISTORY,
#ifdef DCPOMATIC_VARIANT_SWAROOP
PLAYER_BACKGROUND_IMAGE,
@@ -488,6 +489,10 @@ public:
return _player_activity_log_file;
}
+ boost::optional<boost::filesystem::path> player_debug_log_file () const {
+ return _player_debug_log_file;
+ }
+
boost::optional<boost::filesystem::path> player_content_directory () const {
return _player_content_directory;
}
@@ -952,6 +957,18 @@ public:
changed ();
}
+ void set_player_debug_log_file (boost::filesystem::path p) {
+ maybe_set (_player_debug_log_file, p, PLAYER_DEBUG_LOG);
+ }
+
+ void unset_player_debug_log_file () {
+ if (!_player_debug_log_file) {
+ return;
+ }
+ _player_debug_log_file = boost::none;
+ changed (PLAYER_DEBUG_LOG);
+ }
+
void set_player_content_directory (boost::filesystem::path p) {
maybe_set (_player_content_directory, p, PLAYER_CONTENT_DIRECTORY);
}
@@ -1231,6 +1248,8 @@ private:
playlist etc.) Does not contain debugging information.
*/
boost::optional<boost::filesystem::path> _player_activity_log_file;
+ /** Log file containing debug information for the player */
+ boost::optional<boost::filesystem::path> _player_debug_log_file;
/** A directory containing DCPs whose contents are presented to the user
in the dual-screen player mode. DCPs on the list can be loaded
for playback.