server.py 文件源码

def files_delete(path):
    """
    unlink(path) -> DELETE /files/<path>?op=unlink
        200
        404     File not found.

    rmdir(path) -> DELETE /files/<path>?op=rmdir
        200
        404     File not found.
    """
    if 'op' not in flask.request.args:
        return 'Missing operation.', 400

    op = flask.request.args['op']
    path = flask.safe_join(app.config['serve_dir'], path)

    if op == 'unlink':
        try:
            os.unlink(path)
        except FileNotFoundError:
            return 'File not found.', 404
        return ""
    elif op == 'rmdir':
        try:
            os.rmdir(path)
        except FileNotFoundError:
            return 'File not found.', 404
        except OSError as e:
            return 'Errno {}'.format(e.errno), 400
        return ""

    return 'Unknown operation.', 400