- switch (conn->plan.io(conn->fd.fd, &conn->plan)) {
- case -1: /* Failure means a new plan: close up. */
- set_current(conn);
- conn->plan = io_close(NULL, NULL);
- backend_plan_changed(conn);
- set_current(NULL);
- break;
- case 0: /* Keep going with plan. */
- break;
- case 1: /* Done: get next plan. */
- set_current(conn);
- if (timeout_active(conn))
- backend_del_timeout(conn);
- conn->plan = conn->plan.next(conn, conn->plan.next_arg);
- backend_plan_changed(conn);
- set_current(NULL);
+ return io_wait_dir(conn, wait, IO_IN, next, next_arg);
+}
+
+struct io_plan *io_out_wait_(struct io_conn *conn,
+ const void *wait,
+ struct io_plan *(*next)(struct io_conn *, void *),
+ void *next_arg)
+{
+ return io_wait_dir(conn, wait, IO_OUT, next, next_arg);
+}
+
+void io_wake(const void *wait)
+{
+ backend_wake(wait);
+}
+
+/* Returns false if this should not be touched (eg. freed). */
+static bool do_plan(struct io_conn *conn, struct io_plan *plan,
+ bool idle_on_epipe)
+{
+ /* We shouldn't have polled for this event if this wasn't true! */
+ assert(plan->status == IO_POLLING_NOTSTARTED
+ || plan->status == IO_POLLING_STARTED);
+
+ switch (plan->io(conn->fd.fd, &plan->arg)) {
+ case -1:
+ if (errno == EPIPE && idle_on_epipe) {
+ plan->status = IO_UNSET;
+ backend_new_plan(conn);
+ return false;
+ }
+ io_close(conn);
+ return false;
+ case 0:
+ plan->status = IO_POLLING_STARTED;
+ return true;
+ case 1:
+ return next_plan(conn, plan);
+ default:
+ /* IO should only return -1, 0 or 1 */
+ abort();
+ }
+}
+
+void io_ready(struct io_conn *conn, int pollflags)
+{
+ if (pollflags & POLLIN)
+ if (!do_plan(conn, &conn->plan[IO_IN], false))
+ return;
+
+ if (pollflags & POLLOUT)
+ /* If we're writing to a closed pipe, we need to wait for
+ * read to fail if we're duplex: we want to drain it! */
+ do_plan(conn, &conn->plan[IO_OUT],
+ conn->plan[IO_IN].status == IO_POLLING_NOTSTARTED
+ || conn->plan[IO_IN].status == IO_POLLING_STARTED);
+}
+
+void io_do_always(struct io_conn *conn)
+{
+ /* There's a corner case where the in next_plan wakes up the
+ * out, placing it in IO_ALWAYS and we end up processing it immediately,
+ * only to leave it in the always list.
+ *
+ * Yet we can't just process one, in case they are both supposed
+ * to be done, so grab state beforehand.
+ */
+ bool always_out = (conn->plan[IO_OUT].status == IO_ALWAYS);
+
+ if (conn->plan[IO_IN].status == IO_ALWAYS)
+ if (!next_plan(conn, &conn->plan[IO_IN]))
+ return;
+
+ if (always_out) {
+ /* You can't *unalways* a conn (except by freeing, in which
+ * case next_plan() returned false */
+ assert(conn->plan[IO_OUT].status == IO_ALWAYS);
+ next_plan(conn, &conn->plan[IO_OUT]);