Merge branch '1.0-local' into 1.0

This commit is contained in:
xdrm-brackets 2017-02-23 17:00:04 +01:00
commit ca869eec8f
1 changed files with 1 additions and 0 deletions

View File

@ -212,6 +212,7 @@
/* (2) Update the state file */
var_dump('before : '.get_gstate());
var_dump('towrite : '.$state);
$written = @file_put_contents(STATE_CONF, $state);
/* (3) Manage error */