12345678910111213141516171819202122232425262728 |
- #!/usr/bin/env bash
- STARTED_COUNT=0
- COMPLETED_COUNT=0
- while [[ true ]]; do
- {
- read FOO1 FOO2 FOO3 TYPE FOO5
- if [[ $TYPE == "request_read_and_idx" ]]; then
- {
- STARTED_COUNT=$((STARTED_COUNT + 1))
- if [[ $(($STARTED_COUNT % 100)) -eq 0 ]]; then
- echo "" >>/OVERPASS_DB_DIR/started_count.dot # adapt directory
- else
- echo -n "." >>/OVERPASS_DB_DIR/started_count.dot # adapt directory
- fi
- }
- elif [[ $TYPE == "read_finished" ]]; then
- {
- COMPLETED_COUNT=$((COMPLETED_COUNT + 1))
- if [[ $(($COMPLETED_COUNT % 100)) -eq 0 ]]; then
- echo "" >>/OVERPASS_DB_DIR/completed_count.dot # adapt directory
- else
- echo -n "." >>/OVERPASS_DB_DIR/completed_count.dot # adapt directory
- fi
- }; fi
- }; done
|