cosmetic
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 10 Jan 2011 15:53:34 +0000 (16:53 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 10 Jan 2011 15:53:34 +0000 (16:53 +0100)
initscripts/pl_boot

index 237c2b1..16b7fa2 100755 (executable)
@@ -175,7 +175,7 @@ while : ; do
                     done
                 ;;
                 60)
-                    echo $(date "+%H:%M:%S") " This error likely indicates that the hardware clock is not set "
+                    echo $(date "+%H:%M:%S") " This error likely indicates that the hardware clock is likely not set "
                     echo $(date "+%H:%M:%S") " to GMT.  The result is that authentication between the local and "
                     echo $(date "+%H:%M:%S") " remote site fails.  Please double check this machine's system "
                     echo $(date "+%H:%M:%S") " clock, and set it to GMT in the BIOS. If after rebooting the same "