A fully general relativistic non-linear model of the formation of massive neutrino halos in an Einstein-Straus universe was given by Fabbri, Janisen and Ruffini. Here we consider the role which a non-vanishing, repulsive cosmological constant Λ>01 admissible by observational limits, can have in the FJR model. The main conclusion is that the influence of Λ is negligible in the FJR model for massive neutrinos with mass *, indicated by recent observations of SN 1987a. On the other hand, the cosmological constant is relevant in the model, if neutrinos have low mass, < O.2eV.