 A Thousand Ships
|
a1846b27ea
Improve use of `Ref.is_null/valid`
|
il y a 1 an |
 Yufeng Ying
|
33817b186f
Remove unused header in drivers and modules.
|
il y a 8 mois |
|
A Thousand Ships
|
955d5affa8
Reduce and prevent unnecessary random-access to `List`
|
il y a 1 an |
 Rémi Verschelde
|
b342dcdf04
Remove some unused signals
|
il y a 2 ans |
|
Rémi Verschelde
|
d95794ec8a
One Copyright Update to rule them all
|
il y a 2 ans |
 Fabio Alessandrelli
|
33dda2e68a
[MP] Remove connection state signals from MultiplayerPeer.
|
il y a 2 ans |
|
Fabio Alessandrelli
|
39f3d9d59e
[MP] Add MultiplayerPeer disconnect_peer, close.
|
il y a 2 ans |
|
Fabio Alessandrelli
|
7536d15fe3
[MP] Let MultiplayerAPI handle packet relaying and peer signaling.
|
il y a 2 ans |
|
Fabio Alessandrelli
|
ca7d572908
[Net] Modularize multiplayer, expose MultiplayerAPI to extensions.
|
il y a 3 ans |
 reduz
|
746dddc067
Replace most uses of Map by HashMap
|
il y a 3 ans |
|
Rémi Verschelde
|
1769f80547
WebRTC: Fix potential nullptr dereference in error message
|
il y a 3 ans |
|
Rémi Verschelde
|
fe52458154
Update copyright statements to 2022
|
il y a 3 ans |
|
Fabio Alessandrelli
|
84112d9610
[Net] Fix WebRTC returning packets from peers too early.
|
il y a 3 ans |
|
Fabio Alessandrelli
|
24a949ea11
[Net] Rename RPC constants and annotation arguments.
|
il y a 3 ans |
 Lightning_A
|
c63b18507d
Use range iterators for `Map`
|
il y a 4 ans |
|
Fabio Alessandrelli
|
25226329be
[Net] MultiplayerPeer cleanup, defaults.
|
il y a 4 ans |
|
Fabio Alessandrelli
|
bf9aae09ba
[Net] Move multiplayer to core subdir, split RPCManager.
|
il y a 4 ans |
|
Fabio Alessandrelli
|
2cf39b97ae
[Net] Implement RPC channels in MultiplayerAPI.
|
il y a 4 ans |
|
Rémi Verschelde
|
92299989bd
Use Ref<T> references as iterators where relevant
|
il y a 4 ans |
 Aaron Franke
|
4e6efd1b07
Use C++ iterators for Lists in many situations
|
il y a 4 ans |
|
reduz
|
6631f66c2a
Optimize StringName usage
|
il y a 4 ans |
|
Fabio Alessandrelli
|
97e763dddf
[Net] Rename WebRTCMultiplayer to WebRTCMultiplayerPeer.
|
il y a 4 ans |
