src/main-fwtool.sml

   1 (* HCoop Domtool (http://hcoop.sourceforge.net/)
   2  * Copyright (c) 2006, Adam Chlipala
   3  * Copyright (c) 2012  Clinton Ebadi
   4  *
   5  * This program is free software; you can redistribute it and/or
   6  * modify it under the terms of the GNU General Public License
   7  * as published by the Free Software Foundation; either version 2
   8  * of the License, or (at your option) any later version.
   9  *
  10  * This program is distributed in the hope that it will be useful,
  11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13  * GNU General Public License for more details.
  14  *
  15  * You should have received a copy of the GNU General Public License
  16  * along with this program; if not, write to the Free Software
  17  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
  18  *)
  19
  20 (* Driver for fwtool *)
  21
  22 val _ =
  23     OS.Process.exit (case CommandLine.arguments () of
  24                          "regen" :: nodeName :: rest => Main.requestFirewallRegen nodeName
  25                        | ["regen"] => if List.all OS.Process.isSuccess (map Main.requestFirewallRegen Config.Firewall.firewallNodes)
  26                                       then OS.Process.success else OS.Process.failure
  27                        | _ => (print "Usage: fwtool regen NODE\n"; OS.Process.failure))