<div dir="ltr"><div style>For review by Paul.</div><div style><br></div><div>Branches: 13.05, master</div><div><br></div><div>Workaround the failure of the feedback tests on Windows.</div><div><br></div><div>deep_profiler/mdprof_create_feedback.m:</div>
<div><span class="" style="white-space:pre">    </span>The feedback tool does not need to set the server or script names in</div><div><span class="" style="white-space:pre">       </span>the deep profiling data structure.  (They are only required by the</div>
<div><span class="" style="white-space:pre">    </span>CGI interface.)  Attempting to determine the server name is currently</div><div><span class="" style="white-space:pre">      </span>failing on Windows, so just pass a dummy one in the feedback tool</div>
<div><span class="" style="white-space:pre">    </span>for now.</div><div><br></div><div><span class="" style="white-space:pre">  </span>Eventually we should fix this so that (1) CGI interface specific things</div><div><span class="" style="white-space:pre">    </span>are not part of the deep/0 structure and (2) looking up the hostname</div>
<div><span class="" style="white-space:pre">    </span>on Windows works.</div><div><br></div><div>Julien.</div><div><br></div><div>diff --git a/deep_profiler/mdprof_create_feedback.m b/deep_profiler/mdprof_create_feedback.m</div>
<div>index 7017957..044eb7c 100644</div><div>--- a/deep_profiler/mdprof_create_feedback.m</div><div>+++ b/deep_profiler/mdprof_create_feedback.m</div><div>@@ -304,8 +304,12 @@ write_version_message(ProgName, !IO) :-</div>
<div>     io::di, io::uo) is det.</div><div> </div><div> read_deep_file(Input, Debug, MaybeDeep, !IO) :-</div><div>-    server_name_port(Machine, !IO),</div><div>-    script_name(ScriptName, !IO),</div><div>+    % XXX the server_name_port and script_name fields of the deep/0</div>
<div>+    % structure are only required by the CGI program.  (They probably</div><div>+    % shouldn't be part of that structure since not all tools that operate</div><div>+    % on deep profiles require them.)</div><div>
+    Machine = "DummyServer",</div><div>+    ScriptName = "DummyScript",</div><div>     (</div><div>         Debug = yes,</div><div>         io.stdout_stream(Stdout, !IO),</div><div><br></div></div>