"MDL-13766, output repository id when logging out"

diff --git a/repository/ws.php b/repository/ws.php
index 46fc5099025e30cf46be4fc15d30b1cd9aacc56e..58ca4ed1656d7030ef0c3be6324e585beab6c4cd 100644 (file)
--- 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':