Hawkin
/
arangodb
mirror of https://gitee.com/bigwinds/arangodb
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Info log when server is removed. Store remove date in agency. (#9285)

This commit is contained in:
Lars Maier 2019-06-24 14:04:58 +02:00 committed by Max Neunhöffer
parent e61fb5a34e
commit 7d98b5bde4
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
js/actions/api-cluster.js
View File

@ -114,10 +114,12 @@ actions.defineHttp({
operations['/arango/Current/DBServers/' + serverId] = {'op': 'delete'};
operations['/arango/Supervision/Health/' + serverId] = {'op': 'delete'};
operations['/arango/Target/MapUniqueToShortID/' + serverId] = {'op': 'delete'};
operations['/arango/Target/RemovedServers/' + serverId] = {'op': 'set', 'new': (new Date()).toISOString()};
try {
global.ArangoAgency.write([[operations, preconditions]]);
actions.resultOk(req, res, actions.HTTP_OK, true);
console.info("Removed server " + serverId + " from cluster");
return;
} catch (e) {
if (e.code === 412) {