Merge pull request #601 from HoxhaEndri/namedpipe

ignore named pipe
e-m-b-a · Apr 27, 2023 · 1672985 · 1672985
2 parents 4436d6e + d07d5f0
commit 1672985
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/modules/S115_usermode_emulator.sh b/modules/S115_usermode_emulator.sh
@@ -555,7 +555,10 @@ emulate_strace_run() {
         fi
         if [[ -n "$FILENAME_FOUND" ]]; then
           write_log "[*] Copy file $ORANGE$FILENAME_FOUND$NC to $ORANGE$R_PATH$PATH_MISSING/$NC" "$LOG_FILE_STRACER"
-          cp -L "$FILENAME_FOUND" "$R_PATH""$PATH_MISSING" 2> /dev/null || true
+          OUTPUT=$(file "$FILENAME_FOUND" | cut -d ':' -f2)
+          if [[ "$OUTPUT" != *"(named pipe)" ]];then
+            cp -L "$FILENAME_FOUND" "$R_PATH""$PATH_MISSING" 2> /dev/null || true
+          fi
           continue
         else
         #  # disabled this for now - have to rethink this feature