From 6b365f926f1f0430c34498392e1dddbff126bc48 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 10 Feb 2008 04:48:39 +0000
Subject: Add support for batch processing.

---
 src/include/sman.H1 | 37 -------------------------------------
 1 file changed, 37 deletions(-)
 delete mode 100644 src/include/sman.H1

(limited to 'src/include')

diff --git a/src/include/sman.H1 b/src/include/sman.H1
deleted file mode 100644
index 96452899..00000000
--- a/src/include/sman.H1
+++ /dev/null
@@ -1,37 +0,0 @@
-extern int main(int argc , char * argv[] , char * envp[]);
-#ifdef _SMAN_C
-static void process_arguments(int argc , char * * argv);
-static int should_I_clef(void);
-static int in_X(void);
-static void set_up_defaults(void);
-static void process_options(int argc , char * * argv);
-static void death_handler(int sig);
-static void nagman_handler(int sig);
-static void sman_catch_signals(void);
-static void fix_env(char * * envp , int spadnum);
-static void init_term_io(void);
-static char * strPrefix(char * prefix , char * s);
-static void check_spad_proc(char * file , char * prefix);
-static void clean_up_old_sockets(void);
-static SpadProcess * fork_you(int death_action);
-static void exec_command_env(char * command , char * * env);
-static SpadProcess * spawn_of_hell(char * command , int death_action);
-static void start_the_spadclient(void);
-static void start_the_local_spadclient(void);
-static void start_the_nagman(void);
-static void start_the_session_manager(void);
-static void start_the_hypertex(void);
-static void start_the_graphics(void);
-static void fork_Axiom(void);
-static void start_the_Axiom(char * * envp);
-static void clean_up_sockets(void);
-static void clean_hypertex_socket(void);
-static void read_from_spad_io(int ptcNum);
-static void read_from_manager(int ptcNum);
-static void manage_spad_io(int ptcNum);
-static void init_spad_process_list(void);
-static SpadProcess * find_child(int proc_id);
-static void kill_all_children(void);
-static void clean_up_terminal(void);
-static void monitor_children(void);
-#endif
-- 
cgit v1.2.3