|
...
|
...
|
@@ -75,8 +75,6 @@ applicationDtor(void * _this) |
|
75
|
75
|
Application this = _this;
|
|
76
|
76
|
size_t i;
|
|
77
|
77
|
|
|
78
|
|
- TR_delete(this->user_namespace);
|
|
79
|
|
-
|
|
80
|
78
|
for (i=0; i<SESSION_LIVETIME; i++) {
|
|
81
|
79
|
TR_delete(this->active_sessions[i]);
|
|
82
|
80
|
}
|
...
|
...
|
|
