forb: Split forb_port_destroy() to stop and destroy phases

[frescor/frsh-forb.git] / src / forb / src / port.h

diff --git a/src/forb/src/port.h b/src/forb/src/port.h
index b5b97fa90517580ff6cb1fc460c4e7880aecbaa2..4d0d010c8a6d2bdf9b10bcf34f0f33ad922668f7 100644 (file)
--- a/src/forb/src/port.h
+++ b/src/forb/src/port.h
@@ -108,6 +108,7 @@ UL_LIST_CUST_DEC(forb_port, /* cust_prefix */
                 node)          /* cust_node_field */
 
 int forb_register_port(forb_orb orb, forb_port_t *port);
+void forb_stop_port(forb_port_t *port);
 void forb_destroy_port(forb_port_t *port);