Wm refresh workspace

Fiche express
Type	Script/commande SQL*Plus (Oracle Workspace Manager)
Voir aussi	Wm workspace · Wm merge workspace · Wm goto workspace

Wm refresh workspace rafraîchit un workspace enfant à partir des évolutions de son workspace parent, via DBMS_WM.RefreshWorkspace. Utile lorsqu'un workspace de travail a été créé il y a longtemps et doit récupérer les modifications validées entre-temps sur le parent, sans perdre les modifications propres au workspace enfant.

Opération complémentaire de Wm merge workspace, qui propage dans l'autre sens (de l'enfant vers le parent).

Amélioration apportée : le script d'origine ne réaffichait pas la liste des workspaces après l'opération. La version ci-dessous ajoute cette vérification finale, par cohérence avec les autres scripts de la famille Workspace Manager.

Script

-- Rafraîchit un workspace enfant à partir des évolutions de son parent
SET LINESIZE 180
SET PAGESIZE 50000
SET VERIFY OFF

COLUMN current_workspace FORMAT a10 HEADING 'Current'
COLUMN owner              FORMAT a20 HEADING 'Workspace Owner'
COLUMN workspace           FORMAT a30 HEADING 'Workspace Name'
COLUMN createtime            FORMAT a20 HEADING 'Create Time'
COLUMN freeze_status          FORMAT a8  HEADING 'Freeze|Status'
COLUMN freeze_mode              FORMAT a20 HEADING 'Freeze|Mode'

-- Tous les workspaces
SELECT
    CASE WHEN dbms_wm.getworkspace = workspace THEN '    *' END AS current_workspace
  , owner
  , workspace
  , TO_CHAR(createtime, 'DD-MON-YYYY HH24:MI:SS') createtime
  , freeze_status
  , freeze_mode
FROM
    dba_workspaces
ORDER BY
    owner, workspace;

ACCEPT wm_refresh_workspace_name CHAR PROMPT 'Enter name of workspace to refresh: '

BEGIN
    dbms_wm.refreshworkspace('&wm_refresh_workspace_name');
END;
/

-- Vérification post-rafraîchissement
SELECT
    CASE WHEN dbms_wm.getworkspace = workspace THEN '    *' END AS current_workspace
  , owner
  , workspace
  , TO_CHAR(createtime, 'DD-MON-YYYY HH24:MI:SS') createtime
  , freeze_status
  , freeze_mode
FROM
    dba_workspaces
ORDER BY
    owner, workspace;

Voir aussi

• Wm workspace — vue d'ensemble des workspaces et tables versionnées
• Wm merge workspace — propager les changements de l'enfant vers le parent (sens inverse)
• Wm goto workspace — basculer la session vers le workspace à rafraîchir