|
@@ -16,7 +16,7 @@ define("port", default=8080, help="run on the given port", type=int)
|
|
|
|
|
|
PATH=os.path.dirname(os.path.abspath(__file__))
|
|
PATH=os.path.dirname(os.path.abspath(__file__))
|
|
static_path_dir = os.path.join(root, 'static/fossil')
|
|
static_path_dir = os.path.join(root, 'static/fossil')
|
|
-data_path_dir = "/mnt/wave/fossils.kit.edu"
|
|
|
|
|
|
+data_path_dir = "/mnt/fossils"
|
|
|
|
|
|
class MyHTMLParser(HTMLParser):
|
|
class MyHTMLParser(HTMLParser):
|
|
def __init__(self):
|
|
def __init__(self):
|