+3
-5
client/src/lumina_client.gleam
+3
-5
client/src/lumina_client.gleam
···
191
191
fn let_definitely_disconnect(model: Model) {
192
192
use dispatch <- effect.from
193
193
case model.ws, model.has_been_running_for_150ms {
194
-
model_type.WsConnectionDisconnecting, False
194
+
model_type.WsConnectionUnsure, False
195
195
| model_type.WsConnectionDisconnected, _
196
196
| model_type.WsConnectionInitial, _
197
197
| model_type.WsConnectionRetrying, _
198
198
| model_type.WsConnectionConnected(..), _
199
199
-> Nil
200
-
model_type.WsConnectionDisconnecting, True ->
201
-
dispatch(WsDisconnectDefinitive)
200
+
model_type.WsConnectionUnsure, True -> dispatch(WsDisconnectDefinitive)
202
201
}
203
202
}
204
203
···
808
807
effect.none(),
809
808
)
810
809
_ -> {
811
-
let new_model =
812
-
Model(..model, ws: model_type.WsConnectionDisconnecting)
810
+
let new_model = Model(..model, ws: model_type.WsConnectionUnsure)
813
811
#(new_model, let_definitely_disconnect(new_model))
814
812
}
815
813
}
+1
-1
client/src/lumina_client/model_type.gleam
+1
-1
client/src/lumina_client/model_type.gleam
···
93
93
WsConnectionDisconnected
94
94
/// A non-connected socket, may also occur while connecting.
95
95
/// This'll either turn into a `WsConnectionConnected` or an `WsConnectionDisconnected`.
96
-
WsConnectionDisconnecting
96
+
WsConnectionUnsure
97
97
/// Retrying to connect.
98
98
WsConnectionRetrying
99
99
}
+2
-2
client/src/lumina_client/view.gleam
+2
-2
client/src/lumina_client/view.gleam
···
111
111
],
112
112
)
113
113
114
-
model_type.WsConnectionConnected(..)
115
-
| model_type.WsConnectionDisconnecting -> element.none()
114
+
model_type.WsConnectionConnected(..) | model_type.WsConnectionUnsure ->
115
+
element.none()
116
116
},
117
117
case model.page {
118
118
Landing -> view_landing()