diff options
author | Morris Jobke <hey@morrisjobke.de> | 2016-09-23 15:20:53 +0300 |
---|---|---|
committer | Morris Jobke <hey@morrisjobke.de> | 2016-09-26 14:44:56 +0300 |
commit | afe40ac99604d0c9666dd751507225609771dd19 (patch) | |
tree | a9ac1eafcf41aaca39dc9605864a1d32fa45022b /lib/public/Util.php | |
parent | 6f72341c0b7565434570f4d41d4a7287b1f280b8 (diff) |
write channel to config file when changed
Signed-off-by: Morris Jobke <hey@morrisjobke.de>
Diffstat (limited to 'lib/public/Util.php')
-rw-r--r-- | lib/public/Util.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/public/Util.php b/lib/public/Util.php index aa8e5288c74..d5b0752553d 100644 --- a/lib/public/Util.php +++ b/lib/public/Util.php @@ -85,6 +85,7 @@ class Util { //Flush timestamp to reload version.php \OC::$server->getSession()->set('OC_Version_Timestamp', 0); \OC::$server->getAppConfig()->setValue('core', 'OC_Channel', $channel); + \OC::$server->getConfig()->setSystemValue('updater.release.channel', $channel); } /** |