The problem is not the sleep, it's changing the computer name and/or the IP address. I'll check this a bit with the OTP team, maybe we have to reconnect the IDE backend every time this happens.

Oh yes, of course, I didn't think about that. Is epmd affected?

We do have some support for restarting, but it's still not perfect...

Updating tickets (#134, #40, #43, #80, #100, #113, #120, #129, #131, #137, #156, #157, #179, #211, #222, #228, #231, #242, #326, #349, #379, #451, #455, #459, #523, #524, #530, #41, #46, #52, #58, #61, #62, #64, #76, #83, #89, #93, #95, #115, #116, #119, #121, #130, #135, #145, #149, #152, #155, #159, #163, #164, #168, #169, #170, #175, #181, #182, #188, #194, #199, #200, #205, #208, #210, #218, #219, #223, #224, #235, #237, #238, #239, #240, #241, #244, #252, #261, #265, #274, #276, #281, #283, #285, #294, #298, #316, #317, #318, #331, #332, #335, #336, #339, #340, #351, #354, #358, #364, #366, #372, #374, #375, #377, #378, #380, #383, #392, #394, #398, #405, #407, #410, #411, #412, #413, #415, #418, #422, #423, #424, #425, #427, #429, #430, #432, #436, #437, #438, #440, #442, #443, #445, #446, #447, #448, #449, #450, #452, #454, #460, #464, #465, #470, #471, #474, #477, #478, #479, #483, #484, #492, #493, #494, #495, #497, #498, #499, #506, #508, #510, #511, #512, #514, #515, #516, #517, #519, #521, #536, #537, #540, #541, #542, #543, #545, #546, #42, #44, #53, #54, #56, #67, #68, #69, #84, #87, #98, #99, #101, #106, #117, #118, #132, #144, #160, #166, #195, #216, #234, #249, #255, #264, #313, #314, #321, #328, #359, #387, #416, #419, #421, #428, #439, #463, #485, #488, #489, #528, #59, #123, #433)

Updating tickets (#503, #529, #40, #43, #120, #157, #179, #211, #222, #228, #326, #379, #451, #459, #523, #524, #530, #559, #535, #176, #177, #386, #389, #409, #434, #473, #41, #52, #62, #64, #83, #93, #115, #135, #145, #149, #155, #159, #163, #181, #194, #199, #200, #208, #210, #219, #224, #261, #265, #274, #281, #283, #285, #294, #298, #316, #318, #331, #332, #335, #336, #358, #375, #383, #394, #398, #412, #413, #415, #422, #423, #424, #425, #432, #440, #442, #443, #446, #448, #449, #450, #452, #454, #460, #464, #471, #474, #479, #483, #484, #492, #497, #506, #510, #512, #516, #519, #521, #536, #537, #541, #543, #546, #555, #556, #561, #564, #565, #291, #431, #502, #520, #522, #532, #469, #42, #44, #69, #87, #132, #195, #234, #255, #264, #313, #387, #419, #421, #428, #439, #488, #489, #558, #123, #433, #80, #113, #137, #242, #349, #455, #46, #58, #61, #76, #89, #95, #116, #121, #152, #168, #169, #170, #175, #188, #205, #218, #223, #237, #240, #241, #252, #276, #317, #339, #340, #351, #354, #364, #366, #372, #374, #377, #380, #405, #407, #410, #429, #430, #436, #437, #438, #445, #447, #470, #477, #478, #493, #494, #495, #498, #499, #511, #545, #548, #562, #563, #373, #401, #475, #560, #53, #84, #98, #99, #106, #117, #118, #166, #216, #249, #314, #321, #328, #359, #463, #485, #134, #100, #156, #427, #554, #551, #552, #550, #553, #129, #131, #231, #114, #323, #325, #119, #130, #164, #182, #235, #238, #239, #244, #378, #392, #411, #465, #508, #514, #515, #517, #557, #54, #67, #68, #101, #144, #160, #416, #528)

Updating tickets (#62, #87, #132, #145, #210, #387, #419, #433, #488, #489, #558)

Updating tickets (#145, #433, #488, #550)

Updating tickets (#106, #113, #129, #130, #182, #223, #235, #276, #325, #438, #483, #529, #580, #40, #42, #43, #44, #46, #53, #58, #61, #69, #76, #80, #84, #89, #115, #116, #117, #119, #121, #123, #152, #164, #166, #168, #169, #170, #176, #188, #199, #208, #211, #216, #231, #234, #237, #238, #239, #244, #249, #252, #255, #264, #291, #294, #313, #314, #317, #321, #323, #326, #328, #336, #366, #374, #377, #378, #380, #392, #394, #398, #407, #410, #430, #440, #447, #459, #463, #465, #477, #478, #485, #491, #494, #496, #508, #511, #524, #530, #545, #560, #565, #569, #570, #576, #584, #590, #594, #596, #620, #621, #100, #160, #205, #240, #265, #436, #439, #452, #475, #493, #495, #506, #514, #515, #517, #536, #548, #557, #589, #600, #62, #99, #118, #132, #145, #210, #359, #387, #419, #433, #437, #445, #488, #498, #499)

Updating tickets (#156, #747, #805, #806, #972, #194, #274, #335, #339, #375, #603, #610, #641, #642, #664, #665, #684, #743, #744, #759, #760, #762, #796, #800, #809, #820, #853, #856, #857, #884, #893, #900, #902, #916, #917, #953, #969, #990, #1002, #1003, #1004, #1011, #1012, #1044, #40, #119, #121, #129, #130, #145, #160, #244, #264, #265, #387, #392, #433, #454, #459, #463, #479, #508, #524, #529, #536, #589)