fix bug 9889 (!12) · Merge requests · grid5000 / g5k-postinstall

DELABROYE Dimitri requested to merge bug_9889 into master Nov 30, 2018

Tout est dans le titre, j'ai testé sur un noeud dead et sur un noeud réservé le déploiement fonctionne dans les 2 cas

fix bug 9889