Skip to content

Fix check for empty monitor directory when setting starting counter, which leads to off-by-POLL error in monitor times #179

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 11 commits into
base: dev
Choose a base branch
from
Open

Fix check for empty monitor directory when setting starting counter, which leads to off-by-POLL error in monitor times #179

Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
4652a9c
docker: add dockerignore file
adrianherrera Sep 18, 2021
2374f74
Merge branch 'dev' into v1.2
adrianherrera Nov 1, 2021
a8e440b
Merge pull request #104 from HexHive/dev
adrianherrera Jul 3, 2022
2e7136f
Merge branch 'dev' into v1.2
adrianherrera Oct 21, 2022
63c3fd0
Merge pull request #120 from HexHive/dev
adrianherrera Oct 21, 2022
326cf16
Merge pull request #122 from HexHive/dev
adrianherrera Nov 8, 2022
73a0503
Merge pull request #125 from HexHive/dev
adrianherrera Nov 12, 2022
75d1ae7
Merge pull request #129 from HexHive/dev
adrianherrera Dec 7, 2022
8cb8ea0
fix check for empty monitor directory when setting starting counter
carolemieux Sep 11, 2025
71ae2ad
use ls to check for empty monitor directory rather than contents of m…
carolemieux Sep 12, 2025
33b083c
Merge branch 'dev' into v1.3
carolemieux Sep 16, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions magma/run.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -46,10 +46,10 @@ fi

# launch the fuzzer in parallel with the monitor
rm -f "$MONITOR/tmp"*
polls=($(ls ${MONITOR}))
if [ ${#polls[@]} -eq 0 ]; then
if [ -z "$(ls $MONITOR)" ]; then
counter=0
else
polls=("$MONITOR"/*)
timestamps=($(sort -n < <(basename -a "${polls[@]}")))
last=${timestamps[-1]}
counter=$(( last + POLL ))
Expand Down