diff options
-rwxr-xr-x | source-filter | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/source-filter b/source-filter new file mode 100755 index 0000000..87c3896 --- /dev/null +++ b/source-filter @@ -0,0 +1,2 @@ +#!/bin/bash +exec curl -s --connect-timeout 0.5 --max-time 2 -H "Filename: $1" --data-binary @- http://127.0.0.1:8000/ |