flush_by_bbox kill parent pid

geoadmin / tool-aws

A set of generic utility tools to manage some aws services

BSD 2-Clause "Simplified" License

0 stars 0 forks source link

flush_by_bbox kill parent pid #15

Open ltclm opened 6 years ago

ltclm commented 6 years ago

$ .venv/bin/s3rm --profile default --bucket-name bgdi-tod-cache-dev --prefix /1.0.0/ch.swisstopo.landeskarte-farbe-10/default/current/2056/ --bbox 2672500,1212000,2681250,1218000 --image-format png -n 5 -f
kill -9 <<parent pid>>
# the new parent process is 1!
INFO:tool_aws.s3.rm:Worker pid 32078 and parent pid 1
INFO:tool_aws.s3.rm:Deleting 1000 keys at a time

loicgasser commented 6 years ago

sudo kill -9 <> sorry and I can't reproduce, Though I believe you. Just tests and it works fine for me. Anyway, keyboard interrupt should work as well, something to address in poolmanager when we have time.