--- ./src/civil-server.py.tv 2006-05-10 16:03:06.000000000 +0200 +++ ./src/civil-server.py 2006-05-10 16:03:10.000000000 +0200 @@ -1,4 +1,4 @@ -#! /usr/bin/env python2.3 +#! /usr/bin/env python2.4 ############################################################################################### # # This file is the main Civil server file. It starts up all needed logic on the server side