Subversion Repositories wimsdev

Rev

Rev 8529 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 8529 Rev 12011
Line 224... Line 224...
224 
}
 224 
}
225 
 
 225 
 
226 
char *dynsetup(char *ptr, char *end)
 226 
char *dynsetup(char *ptr, char *end)
227 
{
 227 
{
228 
    int i; char *p, *pp;
 228 
    int i; char *p, *pp;
- 
 
 229 
/* to adapt
- 
 
 230 
    if(wseed!= NULL) {
- 
 
 231 
     snprintf(ptr,end-ptr,"\nwimsseed:make_random_state(%u);\nset_random_state(wimsseed);\n",atoi(wseed)&(0x7FFFFFFF));
- 
 
 232 
     ptr+=strlen(ptr);
229 
 
 233 
     }
230 
    for(i=0;i<SETUP_NO;i++) {
 234 
*/    for(i=0;i<SETUP_NO;i++) {
231 
      p=getenv(setups[i].wname);
 235 
      p=getenv(setups[i].wname);
232 
      if(p!=NULL) for(pp=p;*pp;pp++) if(!isspace(*pp) && !isalnum(*pp)) p="";
 236 
      if(p!=NULL) for(pp=p;*pp;pp++) if(!isspace(*pp) && !isalnum(*pp)) p="";
233 
      if(p==NULL || *p==0) p=setups[i].defaultval;
 237 
      if(p==NULL || *p==0) p=setups[i].defaultval;
234 
      if(strstr(setups[i].wname,"yacas_precision")!=NULL)
 238 
      if(strstr(setups[i].wname,"yacas_precision")!=NULL)
235 
        precision=atoi(p);
 239 
        precision=atoi(p);