.editorconfig
author Matthew Wild <mwild1@gmail.com>
Mon, 20 Feb 2023 18:10:15 +0000
branch0.12
changeset 12898 0598d822614f
parent 11710 56feb0cf7052
child 13195 1266efb7101c
permissions -rw-r--r--
mod_websocket: Fire pre-session-close event (fixes #1800) This event was added in a7c183bb4e64 and is required to make mod_smacks know that a session was intentionally closed and shouldn't be hibernated (see fcea4d9e7502). Because this was missing from mod_websocket's session.close(), mod_smacks would always attempt to hibernate websocket sessions even if they closed cleanly. That mod_websocket has its own copy of session.close() is something to fix another day (probably not in the stable branch). So for now this commit makes the minimal change to get things working again. Thanks to Damian and the Jitsi team for reporting.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
11710
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
     1
root = true
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
     2
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
     3
[*]
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
     4
end_of_line = lf
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
     5
indent_style = tab
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
     6
insert_final_newline = true
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
     7
trim_trailing_whitespace = true
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
     8
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
     9
[CHANGES]
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
    10
indent_size = 4
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
    11
indent_style = space
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
    12
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
    13
[configure]
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
    14
indent_size = 3
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
    15
indent_style = space
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
    16
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
    17
[**.xml]
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
    18
indent_size = 2
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
    19
indent_style = space