Searched refs:server_time_offset (Results 1 – 1 of 1) sorted by relevance
65 static int server_time_offset = 0; variable224 gsskrb5_set_time_offset(server_time_offset); in loop()241 gsskrb5_get_time_offset(&server_time_offset); in loop()275 printf("server time offset: %d\n", server_time_offset); in loop()591 {"server-time-offset", 0, arg_integer, &server_time_offset, "time", NULL },