[freehaven-dev] str_is_number() and resolve_name()

[dmolnar@belegost.mit.edu]

str_is_number is defined in /shared/util.c, but doesn't seem to be in a
header file anywhere; similar for resolve_name(). Both used by
/comm/comm.c Should I just add them to /shared/protos.h ?

Thanks,
-David