Community
Participate
Working Groups
Build Identifier: 0.7.0.v201110241434 The purpose of the following statements is to print the full format of time stamp. However, the milliseconds cannot be print in EDT, while it can be print in the RBD. timestampType Timestamp("yyyymmddhhmmssffffff"); syslib.writeStdout(timestampType); Reproducible: Always
*** This bug has been marked as a duplicate of bug 362224 ***