@@ -947,12 +947,9 @@ int main(int argc, char *argv[])
...
@@ -947,12 +947,9 @@ int main(int argc, char *argv[])
charbuf[1024]="";
charbuf[1024]="";
inti=0;
inti=0;
fprintf(stderr,"Error: stacksize %d is not optimal: run ulimit -s %d from your shell before starting the application.\nauto-adjusting stack size for optimal performance...\n",