- """Append cmd string plus newline to file at path_recordfile."""
- # Doesn't yet replace old record() fully.
+ """Append cmd string plus newline to file at path_recordfile. (Atomic.)"""
+ # This misses some optimizations from the original record(), namely only
+ # finishing the atomic write with flush() and fsync() every 15 seconds
+ # unless explicitely forced. Implement as needed.