# 
# patch "netxx_pipe.cc"
#  from [4f3d35be8b18b51086c6255e0501a047e379a2e7]
#    to [d82cc501c0c1cfb936da3161e294c348ba66e568]
# 
# patch "platform.hh"
#  from [459689bba7e71018f5f6169cf3e42acbe05d1e2c]
#    to [793b48b3bca1669e06f48647ed89a5c3d337ff47]
# 
========================================================================
--- netxx_pipe.cc	4f3d35be8b18b51086c6255e0501a047e379a2e7
+++ netxx_pipe.cc	d82cc501c0c1cfb936da3161e294c348ba66e568
@@ -111,11 +111,7 @@
   siStartInfo.dwFlags |= STARTF_USESTDHANDLES;
   // unfortunately munge_argv_into_cmdline does not take a vector<string>
   // as its argument
-  I(args.size()<(sizeof(argv)/sizeof(argv[0])));
-  for (std::vector<std::string>::const_iterator i=args.begin();i!=args.end();++i,++pos)
-    argv[pos]=i->c_str();
-  argv[pos]=0;
-  std::string cmdline=munge_argv_into_cmdline(argv);
+  std::string cmdline=munge_argv_into_cmdline(newargv);
   L(F("cmdline '%s'\n") % cmdline);
   FAIL_IF(CreateProcess,(0,const_cast<CHAR*>(cmdline.c_str()),
                          0,0,TRUE,0,0,0,&siStartInfo,&piProcInfo),==0);
========================================================================
--- platform.hh	459689bba7e71018f5f6169cf3e42acbe05d1e2c
+++ platform.hh	793b48b3bca1669e06f48647ed89a5c3d337ff47
@@ -29,7 +29,7 @@
 
 // for pipe creation on Win32
 #ifdef WIN32
-std::string munge_argv_into_cmdline(const char* const argv[])
+std::string munge_argv_into_cmdline(const char* const argv[]);
 #endif
 
 // for term selection