diff options
Diffstat (limited to 'js/codeq/core.js')
-rw-r--r-- | js/codeq/core.js | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/js/codeq/core.js b/js/codeq/core.js index cb6f54c..22f6a50 100644 --- a/js/codeq/core.js +++ b/js/codeq/core.js @@ -610,9 +610,13 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */ codeq.log.info('App reset: ' + (reason || 'no reason given')); codeq.globalStateMachine.transition('login'); codeq.wait( - codeq.comms.logout() - .finally(codeq.comms.disconnect) - .fail(function () {}) // ignore errors + codeq.comms.getSid() == null ? Q() : codeq.comms.logout() + .finally( + codeq.comms.disconnect + ) + .fail(function (e) { + codeq.log.debug(e) + }) // ignore errors ) .then(function () { if (reason) { |