fix millisecond output (no 1/10th milli available)

1 files changed, 1 insertions, 1 deletions

diff --git a/uioctl.c b/uioctl.c
index 9640399..dea40f9 100644
--- a/uioctl.c
+++ b/uioctl.c
@@ -99,7 +99,7 @@ static void monitor(char *fpath, int forever) {
             fprintf(stderr, "Problem reading from device file\n");
             exit(EXIT_FAILURE);
         }
-        printf("[%ld.%04d] interrupt: %d\n", tp.time, tp.millitm,
+        printf("[%ld.%03d] interrupt: %d\n", tp.time, tp.millitm,
             (buf[3] * 16777216 + buf[2] * 65536 + buf[1] * 256 + buf[0]));
     } while (forever);
     close(fd);