+
+ {{vm.errorMessage}}
+
+
diff --git a/frontend/src/main/javascript/src/js/components/modals/project-edit-modal/project-edit-modal.component.js b/frontend/src/main/javascript/src/js/components/modals/project-edit-modal/project-edit-modal.component.js
index 4c165fc55..9bc9febbd 100644
--- a/frontend/src/main/javascript/src/js/components/modals/project-edit-modal/project-edit-modal.component.js
+++ b/frontend/src/main/javascript/src/js/components/modals/project-edit-modal/project-edit-modal.component.js
@@ -52,7 +52,7 @@ export class ProjectEditModalComponent {
* An error message that is displayed on a failed updated.
* @type {null|string}
*/
- this.error = null;
+ this.errorMessage = null;
}
$onInit() {
@@ -63,7 +63,7 @@ export class ProjectEditModalComponent {
* Updates the project. Closes the modal window on success.
*/
updateProject() {
- this.error = null;
+ this.errorMessage = null;
this.ProjectResource.update(this.project)
.then(updatedProject => {
@@ -77,8 +77,8 @@ export class ProjectEditModalComponent {
this.form.$setPristine();
this.form.$setUntouched();
})
- .catch(response => {
- this.error = response.data.message;
+ .catch(err => {
+ this.errorMessage = err.data.message;
});
}
}
diff --git a/frontend/src/main/javascript/src/js/components/modals/symbol-parameter-create-modal/symbol-parameter-create-modal.component.html b/frontend/src/main/javascript/src/js/components/modals/symbol-parameter-create-modal/symbol-parameter-create-modal.component.html
index 802dfc280..780ee8602 100644
--- a/frontend/src/main/javascript/src/js/components/modals/symbol-parameter-create-modal/symbol-parameter-create-modal.component.html
+++ b/frontend/src/main/javascript/src/js/components/modals/symbol-parameter-create-modal/symbol-parameter-create-modal.component.html
@@ -16,6 +16,6 @@
Add parameter
diff --git a/frontend/src/main/javascript/src/js/components/modals/symbol-parameter-edit-modal/symbol-parameter-edit-modal.component.html b/frontend/src/main/javascript/src/js/components/modals/symbol-parameter-edit-modal/symbol-parameter-edit-modal.component.html
index be8d7343b..db1b56b8c 100644
--- a/frontend/src/main/javascript/src/js/components/modals/symbol-parameter-edit-modal/symbol-parameter-edit-modal.component.html
+++ b/frontend/src/main/javascript/src/js/components/modals/symbol-parameter-edit-modal/symbol-parameter-edit-modal.component.html
@@ -16,6 +16,6 @@
Edit parameter {{::vm.parameter.name}}
diff --git a/frontend/src/main/javascript/src/js/components/views/learner-view/learner-view.component.js b/frontend/src/main/javascript/src/js/components/views/learner-view/learner-view.component.js
index 27b8abb07..259fa59de 100644
--- a/frontend/src/main/javascript/src/js/components/views/learner-view/learner-view.component.js
+++ b/frontend/src/main/javascript/src/js/components/views/learner-view/learner-view.component.js
@@ -140,6 +140,11 @@ class LearnerViewComponentComponent {
this.LearnerResource.getStatus(this.project.id)
.then(status => {
this.status = status;
+ if (this.status.result != null) {
+ const now = new Date();
+ const start = new Date(this.status.result.statistics.startDate);
+ this.status.result.statistics.duration.total = now - start;
+ }
if (!this.status.active) {
this.finished = true;
@@ -168,8 +173,6 @@ class LearnerViewComponentComponent {
.catch(console.error);
this.$interval.cancel(this.intervalHandle);
- } else {
- LearnResult.convertNsToMs(this.status.result.statistics.duration);
}
})
.catch(console.error);
diff --git a/frontend/src/main/javascript/src/js/routes.js b/frontend/src/main/javascript/src/js/routes.js
index adcaa0001..15987d5f5 100644
--- a/frontend/src/main/javascript/src/js/routes.js
+++ b/frontend/src/main/javascript/src/js/routes.js
@@ -21,7 +21,10 @@
export function config($stateProvider, $urlRouterProvider) {
// redirect to the start page when no other route fits
- $urlRouterProvider.otherwise('');
+ $urlRouterProvider.otherwise($injector => {
+ const $state = $injector.get('$state');
+ $state.go('root');
+ });
$stateProvider
.state('root', {
diff --git a/pom.xml b/pom.xml
index 852558668..5a6acb3ed 100644
--- a/pom.xml
+++ b/pom.xml
@@ -22,7 +22,7 @@
de.learnlib.alex
alex-parent
-
1.5.0
+
1.5.1
pom
Automata Learning Experience (ALEX)