Error running this command: diff -U 5 "/home/users/hisystems/tmp/6Rof9b" "/home/users/hisystems/tmp/DPLY2a"
diff -U 5 "/home/users/hisystems/tmp/6Rof9b" "/home/users/hisystems/tmp/DPLY2a"
No output on STDOUT.