Handle and indicate duplicate repo ID:s (fixes #153)

2 files changed, 9 insertions, 0 deletions

diff --git a/gui/app.js b/gui/app.js
index 1e487f9389..b7baee064b 100644
--- a/gui/app.js
+++ b/gui/app.js
@@ -121,6 +121,10 @@ syncthing.controller('SyncthingCtrl', function ($scope, $http) {
             return 'Unknown';
         }
 
+        if ($scope.model[repo].invalid !== '') {
+            return 'Stopped';
+        }
+
         var state = '' + $scope.model[repo].state;
         state = state[0].toUpperCase() + state.substr(1);
 
@@ -136,6 +140,10 @@ syncthing.controller('SyncthingCtrl', function ($scope, $http) {
             return 'text-info';
         }
 
+        if ($scope.model[repo].invalid !== '') {
+            return 'text-warning';
+        }
+
         var state = '' + $scope.model[repo].state;
         if (state == 'idle') {
             return 'text-success';
diff --git a/gui/index.html b/gui/index.html
index 455204b2cd..a28daf2438 100644
--- a/gui/index.html
+++ b/gui/index.html
@@ -134,6 +134,7 @@
             <ul class="list-unstyled" ng-repeat="repo in repos">
               <li>
                 <span class="text-monospace">{{repo.Directory}}</span>
+                <span ng-if="repo.Invalid" class="label label-danger">Invalid: {{repo.Invalid}}</span>
                 <ul class="list-no-bullet">
                   <li>
                     <div class="li-column" title="Repository ID">