fixed usage of server short name due api change (#5998)

CHANGELOG

@@ -1,3 +1,10 @@
+v3.3.14 (2018-XX-XX)
+--------------------
+
+* fixed internal issue #2567: the Web UI was showing the possibility to move a
+  shard from a follower to the current leader 
+
+
 v3.3.13 (2018-07-25)
 --------------------
 

js/apps/system/_admin/aardvark/APP/frontend/js/views/shardsView.js

@@ -214,7 +214,7 @@
           });
 
           if (from) {
-            delete obj[leader];
+            delete obj[arangoHelper.getDatabaseShortName(leader)];
           }
 
           _.each(obj, function (value) {

js/apps/system/_admin/aardvark/APP/frontend/scss/_shards.scss

@@ -25,6 +25,12 @@
     margin-bottom: 1px;
   }
 
+  .sectionShardContent {
+    .pure-g {
+      width: auto;
+    }
+  }
+
   .shardSyncIcons {
     .fa {
       color: $c-warning;