diff --git a/devel.sh b/devel.sh deleted file mode 100755 index c00b479..0000000 --- a/devel.sh +++ /dev/null @@ -1,27 +0,0 @@ -#!/bin/sh -# -# Script to clone and start a development server - -set -e - -if [ -f tools/devel-server.py ]; then - cat <= 2: log_level = logging.DEBUG diff --git a/devel/moth.py b/devel/moth.py index 98d08a6..c84f102 100644 --- a/devel/moth.py +++ b/devel/moth.py @@ -497,7 +497,6 @@ class Category: with pushd(self.path): self.catmod.make(points, puzzle) else: - with pushd(self.path): puzzle.read_directory(path) return puzzle