Fix Mailman subscription by installing /usr/local/sbin/portalsub

[bpt/portal.git] / app.sig

diff --git a/app.sig b/app.sig
index 00cc343..f31c5be 100644 (file)
--- a/app.sig
+++ b/app.sig
@@ -16,7 +16,8 @@ sig
                 passwd : string, status : status, applied : Init.C.timestamp,
                 ipaddr : string option,
                 confirmed : Init.C.timestamp option, decided : Init.C.timestamp option,
-                msg : string, unix_passwd : string }
+                msg : string, unix_passwd : string,
+                paypal : string option, checkout : string option }
 
     val lookupApp : int -> app
     val listApps : status -> app list
@@ -30,4 +31,7 @@ sig
     val add : int -> unit
     val abortAdd : int -> unit
     val welcome : int -> unit
+
+    val searchPaypal : string -> app list
+    val searchCheckout : string -> app list
 end