tree b51fcf3a4c7bf79825e1255cb940212152c50ab0
parent 87ae3031acdbc3bfbb3ab32858cf29b5956393ef
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1393498240 +0100
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1394782862 +0100

compat.sh: never kill our server