diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 3fceb37..3a6594a 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -5,14 +5,10 @@ - - - - - - - + + + - - + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -46,88 +70,58 @@ - - + + - + + + + + + + + + + + - + - - + + - - + + - - + + - - + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -147,7 +141,11 @@ limit Ping + SESSION_TYPE + + MUTEX_SESSION_TYPE + @@ -198,7 +197,7 @@