fix_ineqvec
ca87b4b8 · removed weird if from the pure server/tune check ·