This is actually the way it already works. When SlickEdit saves a file, it immediately queries that file's last modified time stamp after saving it, then stores that time stamp with the buffer. When we check for modified files, we query the last modified time stamp of a buffer's file and compare it with the previously stored time stamp (done directly after the save). This eliminates the client machine's time as a potential problem, and it's one of the reasons we're having a difficult time figuring out what the problem is.
Do you think that race condition could realistically cause a problem? I don't see any other way to remove the client machine's potential time difference from the process (which is necessary) and not have at least a microsecond potential race condition between the save and the stat() call.