From 5428d6fe5580cb9be8a4496b9d374642ac9d1afb Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Thu, 22 Jun 2017 11:05:50 +0200
Subject: [PATCH] reference to InvalidCredentialsError added
---
frontend-js/src/main/js/gui/LoginDialog.js | 1 +
1 file changed, 1 insertion(+)
diff --git a/frontend-js/src/main/js/gui/LoginDialog.js b/frontend-js/src/main/js/gui/LoginDialog.js
index aabdc54bf3..aa506f71f3 100644
--- a/frontend-js/src/main/js/gui/LoginDialog.js
+++ b/frontend-js/src/main/js/gui/LoginDialog.js
@@ -4,6 +4,7 @@
var AbstractGuiElement = require('./AbstractGuiElement');
var GuiConnector = require('../GuiConnector');
+var InvalidCredentialsError = require('../InvalidCredentialsError');
var PanelControlElementType = require('./PanelControlElementType');
var Functions = require('../functions');
--
GitLab