Fix extra decref of shared_page
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 16 Aug 2016 17:55:35 +0000 (13:55 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 29 Nov 2016 16:27:40 +0000 (11:27 -0500)
commitf319f99b3459a6e7f1502b66e4dd1b916867795f
tree911c562f3fa845aaef581a64e302bea2664cf3e7
parent238a13d8c638200da421573f219dd4ea933a38b0
Fix extra decref of shared_page

We should never be freeing shared_page once it is allocated.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/src/env.c