urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-04 18:43:46 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1153 from urbit/raft-change

Browse Source 
erased some lines in raft
This commit is contained in:
Joe Bryan 2019-01-16 23:46:46 -05:00 committed by GitHub
commit 8b171941ca
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
vere/raft.c
View File

@ -1519,14 +1519,6 @@ _raft_lame(u3_noun ovo, u3_noun why, u3_noun tan)
ret = _raft_sure(u3k(bov), u3k(hed), u3k(tal));
}
// a failed %hole card is re-replayed as %crud
//
else if ( (c3__exit == why) && (c3__hear == tag) ) {
u3_noun hed, tal;
u3x_cell(gon, &hed, &tal);
ret = _raft_lame(u3k(bov), u3k(hed), u3k(tal));
}
else {
// XX this will always fail, nothing in arvo handles %warn
//