mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-27 23:04:50 +02:00
8012260: ciReplay: Include PID into the name of replay data file
Reviewed-by: kvn, twisti
This commit is contained in:
parent
670aea401a
commit
f26c1a6c88
12 changed files with 97 additions and 76 deletions
|
@ -196,7 +196,7 @@ class fileStream : public outputStream {
|
|||
fileStream() { _file = NULL; _need_close = false; }
|
||||
fileStream(const char* file_name);
|
||||
fileStream(const char* file_name, const char* opentype);
|
||||
fileStream(FILE* file) { _file = file; _need_close = false; }
|
||||
fileStream(FILE* file, bool need_close = false) { _file = file; _need_close = need_close; }
|
||||
~fileStream();
|
||||
bool is_open() const { return _file != NULL; }
|
||||
void set_need_close(bool b) { _need_close = b;}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue