Fixing uninitialised `lastNumberOfServers`.#294

Merged

neunhoef merged 2 commits intomasterfrom

bug-fix/scale-integration-error

Nov 6, 2018

Commits on Nov 5, 2018

Fixing uninitialised `lastNumberOfServers`.
lamai93
committed

Commits on Nov 6, 2018

Clean up.
lamai93
committed