In article <segp38$dc4$1 at gioia.aioe.org>, =?UTF-8?Q?Arne_Vajh=c3=b8j?= <arne at vajhoej.dk> writes: > Development environments are quite different from production environments. Everyone has a development environment. The lucky ones have an additional environment which is production only. :-)