Merge pull request #3794 from urbit/jb/faster-time

u3: remove timestamp printing in u3v_time()
This commit is contained in:
Joe Bryan 2020-10-23 14:18:00 -07:00 committed by GitHub
commit 389ebe1f7e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 9 additions and 4 deletions

View File

@ -10,7 +10,7 @@
c3_d ent_d; // event number
u3_noun yot; // cached gates
u3_noun now; // current time, as noun
u3_noun wen; // current time, as text
u3_noun wen; // current time, as text, XX remove
u3_noun sev_l; // instance number
u3_noun sen; // instance string
u3_noun roc; // kernel core

View File

@ -1689,6 +1689,14 @@ u3m_boot(c3_c* dir_c)
u3j_ream();
u3n_ream();
// XX unused, removed
//
// u3z() temporarily preserved to avoid leaking
// checkpointed values
//
u3z(u3A->wen);
u3A->wen = 0;
return u3A->ent_d;
}
else {

View File

@ -164,9 +164,6 @@ u3v_time(u3_noun now)
{
u3z(u3A->now);
u3A->now = now;
u3z(u3A->wen);
u3A->wen = _cv_scot(u3nc(c3__da, u3k(u3A->now)));
}
/* u3v_numb(): set the instance number.