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