363
364
gettimeofday(&tm2, (struct timezone *)0);
365
fprintf(log, "Exported context: %d bytes, %7.4f seconds\n",
366
fprintf(logfile, "Exported context: %d bytes, %7.4f seconds\n",
366
367
(int) context_token.length,
367
368
timeval_subtract(&tm2, &tm1));
368
369
copied_token.length = context_token.length;
369
370
copied_token.value = malloc(context_token.length);
370
371
if (copied_token.value == 0) {
375
376
memcpy(copied_token.value, context_token.value, copied_token.length);