endRecord: End the recording session that was started by startRecord()
Description
The recordring session started by the startRecord() method is
terminated and all provenance collecting is discontinued. A log of all the
console commands is saved.
Usage
endRecord(recordr)
"endRecord"(recordr)
Arguments
recordr
A Recordr instance
Value
id The execution identifier that uniquely identifiers this execution.