Rev 5996 | Rev 8796 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 5996 | Rev 7076 | ||
---|---|---|---|
Line 166... | Line 166... | ||
166 | struct timeval tv; |
166 | struct timeval tv; |
167 | struct timezone tz; |
167 | struct timezone tz; |
168 | struct tm *tm; |
168 | struct tm *tm; |
169 | gettimeofday(&tv, &tz); |
169 | gettimeofday(&tv, &tz); |
170 | tm=localtime(( const time_t * ) &tv.tv_sec); |
170 | tm=localtime(( const time_t * ) &tv.tv_sec); |
171 | snprintf(wims_mathml_id,sizeof(wims_mathml_id),"wims_mathml%ld" |
171 | snprintf(wims_mathml_id,sizeof(wims_mathml_id),"wims_mathml%ld",long(tv.tv_usec)); |
172 | 172 | ||
173 | if(bTexString){ // WIMS modification: reads a 'latex string' from commandline, if arg="--tex-string" |
173 | if(bTexString){ // WIMS modification: reads a 'latex string' from commandline, if arg="--tex-string" |
174 | char *input; |
174 | char *input; |
175 | int dollarcnt = 0; |
175 | int dollarcnt = 0; |
176 | input = argv[i_texstring]; |
176 | input = argv[i_texstring]; |