In DataSink_Stream, allow explicitly setting a pathname (for

identification purposes) when passing in a std::ostream, since there
is no portable way to go from a std::ostream to the file or other device
that it names

1 files changed, 13 insertions, 11 deletions

diff --git a/src/data_snk.cpp b/src/data_snk.cpp
index a76fbfa09..729816520 100644
--- a/src/data_snk.cpp
+++ b/src/data_snk.cpp
@@ -15,32 +15,34 @@ void DataSink_Stream::write(const byte out[], u32bit length)
    {
    sink->write(reinterpret_cast<const char*>(out), length);
    if(!sink->good())
-      throw Stream_IO_Error("DataSink_Stream: Failure writing to " + fsname);
+      throw Stream_IO_Error("DataSink_Stream: Failure writing to " +
+                            identifier);
    }
 
 /*************************************************
 * DataSink_Stream Constructor                    *
 *************************************************/
-DataSink_Stream::DataSink_Stream(std::ostream& stream) : fsname("std::ostream")
+DataSink_Stream::DataSink_Stream(std::ostream& out,
+                                 const std::string& name) :
+   identifier(name != "" ? name : "<std::ostream>"), owner(false)
    {
-   sink = &stream;
-   owns = false;
+   sink = &out;
    }
 
 /*************************************************
 * DataSink_Stream Constructor                    *
 *************************************************/
-DataSink_Stream::DataSink_Stream(const std::string& file,
-                                 bool use_binary) : fsname(file)
+DataSink_Stream::DataSink_Stream(const std::string& path,
+                                 bool use_binary) :
+   identifier(path), owner(true)
    {
    if(use_binary)
-      sink = new std::ofstream(fsname.c_str(), std::ios::binary);
+      sink = new std::ofstream(path.c_str(), std::ios::binary);
    else
-      sink = new std::ofstream(fsname.c_str());
+      sink = new std::ofstream(path.c_str());
 
    if(!sink->good())
-      throw Stream_IO_Error("DataSink_Stream: Failure opening " + fsname);
-   owns = true;
+      throw Stream_IO_Error("DataSink_Stream: Failure opening " + path);
    }
 
 /*************************************************
@@ -48,7 +50,7 @@ DataSink_Stream::DataSink_Stream(const std::string& file,
 *************************************************/
 DataSink_Stream::~DataSink_Stream()
    {
-   if(owns)
+   if(owner)
       delete sink;
    sink = 0;
    }