Patch 2238 Darcs.UI.External: cleanup execPSPipe vs... (and 1 more)

Title Darcs.UI.External: cleanup execPSPipe vs... (and 1 more)
Superseder Nosy List bfrk
Related Issues
Status accepted Assigned To

Created on 2022-04-28.10:50:22 by bfrk, last changed 2023-06-24.16:16:18 by ganesh.

File name Status Uploaded Type Edit Remove
darcs_ui_external_-cleanup-execpspipe-vs_-execdocpipe.dpatch bfrk, 2022-04-28.10:50:20 application/x-darcs-patch
patch-preview.txt bfrk, 2022-04-28.10:50:20 text/x-darcs-patch
See mailing list archives for discussion on individual patches.
msg22996 (view) Author: bfrk Date: 2022-04-28.10:50:20
2 patches for repository http://darcs.net/screened:

patch 7b40c0d79bd818a30700dc5ae49dd352967a0aa0
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sun Apr 24 14:22:26 CEST 2022
  * Darcs.UI.External: cleanup execPSPipe vs. execDocPipe

  The Doc variant should be defined in terms of the ByteString variant,
  instead of the other way around.

patch 9da3e5167dc0191299af34dd3d311f033cca8940
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sun Apr 24 14:39:38 CEST 2022
  * Darcs.UI.External: inline execAndGetOutput and simplify
msg23382 (view) Author: ganesh Date: 2023-06-24.15:29:04
Date User Action Args
2022-04-28 10:50:22bfrkcreate
2022-04-28 10:51:05bfrksetstatus: needs-screening -> needs-review
2023-06-24 15:29:04ganeshsetstatus: needs-review -> accepted-pending-tests
messages: + msg23382
2023-06-24 16:16:18ganeshsetstatus: accepted-pending-tests -> accepted