Error running this command: diff -U 5 "/home/users/hisystems/tmp/PTVREV" "/home/users/hisystems/tmp/3Hl4dT"

No output on STDOUT.