« Previous | Next » 

Revision 8db3e07b

ID8db3e07bdeabc557350a23f0f92559b6b072461b
Parent 1e4da8db
Child 95a8a32b

Added by Davide Bertola almost 7 years ago

recordplay: allow client to specify filename (optional)

Useful for integrating with applications expecting
known and predictable recording file names.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences