mirror of
https://github.com/zed-industries/zed.git
synced 2024-12-24 17:28:40 +00:00
Reduce max log lines, clean log buffers better
This commit is contained in:
parent
08af830fd7
commit
a95cce9a60
1 changed files with 3 additions and 6 deletions
|
@ -24,7 +24,7 @@ use workspace::{
|
||||||
|
|
||||||
const SEND_LINE: &str = "// Send:";
|
const SEND_LINE: &str = "// Send:";
|
||||||
const RECEIVE_LINE: &str = "// Receive:";
|
const RECEIVE_LINE: &str = "// Receive:";
|
||||||
const MAX_STORED_LOG_ENTRIES: usize = 5000;
|
const MAX_STORED_LOG_ENTRIES: usize = 2000;
|
||||||
|
|
||||||
pub struct LogStore {
|
pub struct LogStore {
|
||||||
projects: HashMap<WeakModelHandle<Project>, ProjectState>,
|
projects: HashMap<WeakModelHandle<Project>, ProjectState>,
|
||||||
|
@ -235,7 +235,7 @@ impl LogStore {
|
||||||
};
|
};
|
||||||
|
|
||||||
let log_lines = &mut language_server_state.log_messages;
|
let log_lines = &mut language_server_state.log_messages;
|
||||||
if log_lines.len() == MAX_STORED_LOG_ENTRIES {
|
while log_lines.len() >= MAX_STORED_LOG_ENTRIES {
|
||||||
log_lines.pop_front();
|
log_lines.pop_front();
|
||||||
}
|
}
|
||||||
let message = message.trim();
|
let message = message.trim();
|
||||||
|
@ -335,9 +335,6 @@ impl LogStore {
|
||||||
};
|
};
|
||||||
|
|
||||||
let rpc_log_lines = &mut state.rpc_messages;
|
let rpc_log_lines = &mut state.rpc_messages;
|
||||||
if rpc_log_lines.len() == MAX_STORED_LOG_ENTRIES {
|
|
||||||
rpc_log_lines.pop_front();
|
|
||||||
}
|
|
||||||
if state.last_message_kind != Some(kind) {
|
if state.last_message_kind != Some(kind) {
|
||||||
let line_before_message = match kind {
|
let line_before_message = match kind {
|
||||||
MessageKind::Send => SEND_LINE,
|
MessageKind::Send => SEND_LINE,
|
||||||
|
@ -351,7 +348,7 @@ impl LogStore {
|
||||||
});
|
});
|
||||||
}
|
}
|
||||||
|
|
||||||
if rpc_log_lines.len() == MAX_STORED_LOG_ENTRIES {
|
while rpc_log_lines.len() >= MAX_STORED_LOG_ENTRIES {
|
||||||
rpc_log_lines.pop_front();
|
rpc_log_lines.pop_front();
|
||||||
}
|
}
|
||||||
let message = message.trim();
|
let message = message.trim();
|
||||||
|
|
Loading…
Reference in a new issue