With SmartEiffel under Windows the millisecond part may be stuck to zero.
Gobo Eiffel Kernel Library
Copyright (c) 2001-2004, Eric Bezault and others
Eiffel Forum License v2 (see forum.txt)
$Date: 2005/07/13 17:05:09 $
$Revision: 1.15 $
-- Create a new system clock.
-- (From KI_SYSTEM_CLOCK)
-- Day
-- (From KI_SYSTEM_CLOCK)
-- Hour
-- (From KI_SYSTEM_CLOCK)
-- Is Current holding value in UTC format?
-- (From C_DATE)
-- Minute
-- (From KI_SYSTEM_CLOCK)
-- Month
-- (From KI_SYSTEM_CLOCK)
-- Second
-- (From KI_SYSTEM_CLOCK)
-- Year
-- (From KI_SYSTEM_CLOCK)
-- Set clock to current local time.
-- (From KI_SYSTEM_CLOCK)
-- Set clock to current UTC time.
-- (From KI_SYSTEM_CLOCK)
-- Pointer to struct tm area.
-- (From C_DATE)
-- Current day at creation time or after last call to update.
-- (From C_DATE)
-- Current hour at creation time or after last call to update.
-- (From C_DATE)
-- Current millisecond at creation time or after last call to update.
-- (From KI_SYSTEM_CLOCK)
-- Current minute at creation time or after last call to update.
-- (From C_DATE)
-- Current month at creation time or after last call to update.
-- (From C_DATE)
-- Current second at creation time or after last call to update.
-- (From C_DATE)
System clocks (precision to the millisecond)