Rev 8100 | Rev 8529 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 8100 | Rev 8120 | ||
---|---|---|---|
Line 16... | Line 16... | ||
16 | */ |
16 | */ |
17 | 17 | ||
18 | /* Interface maxima to wims */ |
18 | /* Interface maxima to wims */ |
19 | 19 | ||
20 | /*************** Customization: change values hereafter ****************/ |
20 | /*************** Customization: change values hereafter ****************/ |
- | 21 | #include "common.h" |
|
21 | 22 | ||
22 | /* limit of input/output file sizes */ |
23 | /* limit of input/output file sizes */ |
23 |
|
24 | int fsizelim=131072; |
24 | /* This string tells maxima to exit. */ |
25 | /* This string tells maxima to exit. */ |
25 |
|
26 | char *quitstring="\nquit();\n"; |
- | 27 | char *aboutquitstring="build_info();" "\nquit();\n"; |
|
26 | /* The way to print a string in the program. */ |
28 | /* The way to print a string in the program. */ |
27 |
|
29 | char *stringprinter="\"%s\";\n"; |
28 | /* This is maxima home page. To be kept up to date. */ |
30 | /* This is maxima home page. To be kept up to date. */ |
29 | #define homepage "http://maxima.sourceforge.net/" |
31 | #define homepage "http://maxima.sourceforge.net/" |
30 | 32 | ||
31 | char *nameofcmd="maxima"; |
33 | char *nameofcmd="maxima"; |
32 | int precision=20; |
34 | int precision=20; |
Line 66... | Line 68... | ||
66 | "batcount","cursordisp", |
68 | "batcount","cursordisp", |
67 | "direc","readonly","with_stdout","pscom", |
69 | "direc","readonly","with_stdout","pscom", |
68 | "demo","ttyintfun","bug" |
70 | "demo","ttyintfun","bug" |
69 | 71 | ||
70 | }; |
72 | }; |
- | 73 | ||
- | 74 | int illegal_no=(sizeof(illegal)/sizeof(illegal[0])); |
|
71 | 75 | ||
72 | /* name parts which are not allowed */ |
76 | /* name parts which are not allowed */ |
73 | char *illpart[]={ |
77 | char *illpart[]={ |
74 | "file", "debug", "plot", "load", "store", "batch" |
78 | "file", "debug", "plot", "load", "store", "batch" |
75 | }; |
79 | }; |
- | 80 | ||
- | 81 | int illpart_no=(sizeof(illpart)/sizeof(illpart[0])); |
|
76 | 82 | ||
77 | /***************** Nothing should need change hereafter *****************/ |
83 | /***************** Nothing should need change hereafter *****************/ |
78 | 84 | ||
79 | #define linebyline "\n(%i" |
85 | #define linebyline "\n(%i" |
80 |
|
86 | char *progname="maxima"; |
81 | #include "common.h" |
- | |
82 | #include "common.c" |
- | |
83 | 87 | ||
84 | /* check for security violations in command string */ |
88 | /* check for security violations in command string */ |
85 | void check_parm(char *pm) |
89 | void check_parm(char *pm) |
86 | { |
90 | { |
87 | char *s, *pp; |
91 | char *s, *pp; |
Line 171... | Line 175... | ||
171 | { |
175 | { |
172 | char *p, *p2, *pp; |
176 | char *p, *p2, *pp; |
173 | int i; |
177 | int i; |
174 | 178 | ||
175 | /* printf("<a href=\"%s\">Maxima</a>",homepage); return; */ |
179 | /* printf("<a href=\"%s\">Maxima</a>",homepage); return; */ |
176 | prepabout( |
180 | prepabout(aboutquitstring,outputfname,NULL); |
177 | if(readabout()>0) { |
181 | if(readabout()>0) { |
178 | for(p=aboutbuf; *p; p=find_word_start(find_word_end(p))) { |
182 | for(p=aboutbuf; *p; p=find_word_start(find_word_end(p))) { |
179 | if(strncasecmp(p,"Maxima",strlen("Maxima"))==0) { |
183 | if(strncasecmp(p,"Maxima",strlen("Maxima"))==0) { |
180 | p2=find_word_start(find_word_end(p)); |
184 | p2=find_word_start(find_word_end(p)); |
181 | if(strncmp(p2,"restarted",9)!=0) break; |
185 | if(strncmp(p2,"restarted",9)!=0) break; |