src/main-vmail.sml

   1 (* HCoop Domtool (http://hcoop.sourceforge.net/)
   2  * Copyright (c) 2006, Adam Chlipala
   3  *
   4  * This program is free software; you can redistribute it and/or
   5  * modify it under the terms of the GNU General Public License
   6  * as published by the Free Software Foundation; either version 2
   7  * of the License, or (at your option) any later version.
   8  *
   9  * This program is distributed in the hope that it will be useful,
  10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12  * GNU General Public License for more details.
  13  *
  14  * You should have received a copy of the GNU General Public License
  15  * along with this program; if not, write to the Free Software
  16  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
  17  *)
  18
  19 (* Driver for vmail *)
  20
  21 val _ =
  22     case CommandLine.arguments () of
  23         [] => print "Invalid command-line arguments\n"
  24       | domain :: rest =>
  25         case rest of
  26             ["list"] =>
  27             (case Main.requestListMailboxes domain of
  28                  Vmail.Error msg => (print msg;
  29                                      print "\n")
  30                | Vmail.Listing users => app (fn {user, mailbox} => (print user;
  31                                                                     print "\t";
  32                                                                     print mailbox;
  33                                                                     print "\n")) users)
  34
  35           | ["add", user, mailbox] =>
  36             (case Client.getpass () of
  37                  Client.Passwd passwd =>
  38                  let
  39                      val mailbox = if size mailbox > 0
  40                                       andalso String.sub (mailbox, 0) <> #"/" then
  41                                        let
  42                                            val uid = Posix.ProcEnv.getuid ()
  43                                            val user = Posix.SysDB.getpwuid uid
  44                                            val home = Posix.SysDB.Passwd.home user
  45                                        in
  46                                            home ^ "/" ^ mailbox
  47                                        end
  48                                    else
  49                                        mailbox
  50                  in
  51                      Main.requestNewMailbox {domain = domain,
  52                                              user = user,
  53                                              passwd = passwd,
  54                                              mailbox = mailbox}
  55                  end
  56                | _ => ())
  57
  58           | ["passwd", user] =>
  59             (case Client.getpass () of
  60                  Client.Passwd passwd =>
  61                  Main.requestPasswdMailbox {domain = domain,
  62                                             user = user,
  63                                             passwd = passwd}
  64                | _ => ())
  65
  66           | ["rm", user] =>
  67             (print ("Are you sure you want to delete the mapping for " ^ user ^ "@" ^ domain ^ "? (yes/no) ");
  68              if TextIO.inputLine TextIO.stdIn = SOME "yes\n" then
  69                  Main.requestRmMailbox {domain = domain,
  70                                         user = user}
  71              else
  72                  print "Aborted\n")
  73
  74           | _ => print "Invalid command-line arguments\n"