Ben Ish Hai · Halachot 1st Year, Vayikra, Chapter 8

אין ישנים בבית הכנסת אפילו שינת עראי, ולכן אם מצא חבירו מתנמנם חייב להקיצו וכל שכן אם מצאו מתנמנם בעת התפלה וכן בעת הדרשה שבזה מסיר אזנו משמוע תורה והרי עבירה גוררת עבירה, ולצורך בית הכנסת מותר לישן שם: