tree a8bfb67a98b80fa1842e8b4e358c09121dc82f9a
parent ae22a66ff5c2d0226d3736e0b44339353f044eaf
author Filip Pytloun <filip@pytloun.cz> 1525179018 +0200
committer Filip Pytloun <filip@pytloun.cz> 1525179810 +0200

Cluster should be disabled by default, some minor fixes

Doesn't fix the stupid mixing of cluster vs. non-cluster setup but at
least it works.