From 273312b890341dfe95777ce59d90771f56d77671 Mon Sep 17 00:00:00 2001
From: Alex Wright <alex@xeentech.com>
Date: Mon, 5 Nov 2018 21:56:13 +0100
Subject: [PATCH] Actually delete the work dir

---
 server.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/server.py b/server.py
index cbcc2c0..48b0306 100644
--- a/server.py
+++ b/server.py
@@ -5,6 +5,7 @@ import os
 from celery import Celery
 from datetime import datetime, timedelta
 from flask import Flask, abort, request, Response, send_file
+from shutil import rmtree
 import pypandoc
 
 app = Flask(__name__)
@@ -61,4 +62,4 @@ def convert():
 @celery.task()
 def clean_up(path):
     app.logger.info('Deleting work dir %s', path)
-    pass
+    rmtree(path)