--- capa/capa51/pProj/capaHTML.c 1999/09/28 21:26:20 1.1
+++ capa/capa51/pProj/capaHTML.c 2000/10/11 18:26:48 1.7
@@ -1,9 +1,31 @@
+/* wrapper for capasbin/html
+ Copyright (C) 1992-2000 Michigan State University
+
+ The CAPA system is free software; you can redistribute it and/or
+ modify it under the terms of the GNU General Public License as
+ published by the Free Software Foundation; either version 2 of the
+ License, or (at your option) any later version.
+
+ The CAPA system is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+ General Public License for more details.
+
+ You should have received a copy of the GNU General Public
+ License along with the CAPA system; see the file COPYING. If not,
+ write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
+ Boston, MA 02111-1307, USA.
+
+ As a special exception, you have permission to link this program
+ with the TtH/TtM library and distribute executables, as long as you
+ follow the requirements of the GNU GPL in regard to all of the
+ software in the executable aside from TtH/TtM.
+*/
/* ||>> ================================================================ <<|| */
/* 1 2 3 4 5 6 7 */
/* 45678901234567890123456789012345678901234567890123456789012345678901234567 */
/* created by Isaac Tsai 1996 */
-/* copyrighted by Isaac Tsai 1996, 1997, 1998, 1999 */
/* ||>> ================================================================ <<|| */
#include
@@ -59,10 +81,18 @@ int main(int argc, char *argv[])
/* HTML header can not be shown until input has been parsed, so that I can
be in the class directory */
tmp_int = w_get_input();
+ web_printheader(stdout);
+#ifdef CAPA_WEB
+ fprintf(stdout,"\n",
+ CAPA_VER,COMPILE_DATE);
+#else
+ fprintf(stdout,"\n",
+ CAPA_VER,COMPILE_DATE);
+#endif
+ fprintf(stdout,"\n");
if ((tmp_int!=0) && (!((tmp_int == 32)||(tmp_int == 64)||(tmp_int == (32|64))))) {
/* <== let's get rid of errcode 32 and 64, */
/* REMOTE_HOST */
- web_printheader(stdout);
fprintf(stdout,"\n",tmp_int);
fprintf(stdout,"\n"); fflush(stdout);
fprintf(stdout,"