From 870f4b56fb60acede1a3afefdc905e754cad692b Mon Sep 17 00:00:00 2001
From: dongsheng <dongsheng>
Date: Fri, 24 Apr 2009 04:53:24 +0000
Subject: [PATCH] "MDL-13766, output repository id when logging out"

---
 repository/ws.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repository/ws.php b/repository/ws.php
index 46fc509902..58ca4ed165 100644
--- a/repository/ws.php
+++ b/repository/ws.php
@@ -156,6 +156,7 @@ EOD;
         case 'logout':
             $logout = $repo->logout();
             $logout['client_id'] = $client_id;
+            $logout['repo_id'] = $repo_id;
             echo json_encode($logout);
             break;
         case 'searchform':
-- 
2.39.5