contrib / real_time.pre

Edit on Github

int real_time();

returns local server time