-
-#if _POSIX_TIMERS > 0
- if( clock_gettime( CLOCK_REALTIME, &stop) == -1 ) {
- perror( "clock gettime" );
- return EXIT_FAILURE;
+ xbt_os_timer_stop(timer);
+
+ /* Display the result and exit after cleanup */
+ printf( "%lf\n", xbt_os_timer_elapsed(timer) );
+ printf("Workstation number: %d, link number: %d\n",
+ SD_workstation_get_number(), SD_link_get_number());
+ if(argv[2]){
+ printf("Wait for %ss\n",argv[2]);
+ sleep(atoi(argv[2]));