* new server package

* make-deb.sh corrected

v0.3.4.4/bin/do_pylint.sh

@@ -0,0 +1,35 @@
+#!/bin/sh
+#
+# set some environmental variables for pylint and run it
+#
+
+PROJ_DIR=$(dirname "$0")/..
+PROJ_DIR=$(cd "$PROJ_DIR"; pwd)
+
+PYLINTRC=$PROJ_DIR/src/pylintrc
+PYTHONPATH=$PROJ_DIR/src
+
+function check_for_filename()
+{
+	# maybe the argument is a file instead of a module name
+	if echo "$1" | grep -q "\.py$" && test -e "$1"
+	  then	local FILE_DIR=$(dirname "$1")
+		local MODULE=$(basename "${1%.py}")
+		ARGS="${ARGS} ${MODULE}"
+		PYTHONPATH="${PYTHONPATH}:${FILE_DIR}"
+	  else	ARGS="${ARGS} ${1}"
+	 fi
+}
+
+while test $# -gt 0
+  do	check_for_filename "$1"
+	shift
+ done
+
+export PYTHONPATH
+export PYLINTRC
+
+[ ! -x /usr/bin/pylint ] && echo >&2 "please run \"apt-get install pylint\" first" && exit 1
+
+pylint $ARGS
+