+#ifndef WIN32
+ {//[EDF25906]
+ std::ifstream infile(redirect);
+ infile.seekg(0, std::ios::end);
+ size_t length = infile.tellg();
+ infile.seekg(0, std::ios::beg);
+ std::unique_ptr<char []> buffer(new char[length+1]);
+ buffer[length] = '\0';
+ infile.read(const_cast<char *>( buffer.get() ),length);
+
+ MESSAGE( buffer.get() )
+ }
+ {
+ SMESH_File redirectFile( redirect, /*open=*/false );
+ redirectFile.remove();
+ }
+#endif
+