Fix history loading

This commit is contained in:
Přemysl Eric Janouch 2018-11-02 18:28:04 +01:00
parent 6b1ff048b8
commit 36454fb90c
Signed by: p
GPG Key ID: A0420B94F92B9493
1 changed files with 1 additions and 1 deletions

View File

@ -1298,7 +1298,7 @@ fun load_bindings () {
}
fun load_history_level (const vector<string> &v) {
if (v.size () != 6)
if (v.size () != 7)
return;
// Not checking the hostname and parent PID right now since we can't merge
g.levels.push_back ({stoi (v.at (4)), stoi (v.at (5)), v.at (3), v.at (6)});