@ -1256,7 +1256,7 @@ int
g_time1(void)
{
#if defined(_WIN32)
return 0;
return GetTickCount() / 1000;
#else
return time(0);
#endif