urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-11-28 13:54:20 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge

Browse Source
This commit is contained in:
Gavin Whelan 2014-05-29 12:33:46 -07:00
commit eb4bd3c6cc
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
v/raft.c
View File

@ -1555,7 +1555,12 @@ _raft_punk(u2_reck* rec_u, u2_noun ovo)
u2_Host.beh_u.run_w = 0;
}
// struct timeval b4, f2;
// gettimeofday(&b4, 0);
gon = u2_lo_soft(rec_u, sec_w, u2_reck_poke, u2k(ovo));
// gettimeofday(&f2, 0);
// uL(fprintf(uH, "%%punk %ld.%d\n", f2.tv_sec - b4.tv_sec,
// f2.tv_usec - b4.tv_usec));
if ( u2_blip != u2h(gon) ) {
u2_noun why = u2k(u2h(gon));