# HG changeset patch
# User Arne Babenhauserheide <arne_bab@web.de>
# Date 1597092852 -7200
#      Mon Aug 10 22:54:12 2020 +0200
# Node ID 907d3a9ae2ba8cd082d21df62aa93dacc1bbad0d
# Parent  bb2584da0e480c7b038ed79f31d10a78d34d4655
implement chunked download

diff --git a/run-wispserve.w b/run-wispserve.w
--- a/run-wispserve.w
+++ b/run-wispserve.w
@@ -47,6 +47,6 @@
                lazy : member "--lazy" arguments
              serve (second arguments) (second ip-opt) (string->number (second port-opt)) (not lazy)
        else
-         download-file : car arguments
+         display : download-file : car arguments