Maker
DSR
Disassembling
Exit the DSR Vault through the DSR Manager
- Label: Exit_DSR-DSRManager
- Description: Exit the DSR Vault through the DSR Manager
- Actions in execution process:
- Withdraw funds from the DSR Vault via the DSR Manager
 
DSR Manager · exit
Retrieves wad amount of DSR tokens from Pot and exits DAI token from
DaiJoin adapter (minting it).
- Contract:  DSR Manager
- Function: exit(address,uint256)
| Parameter | Constraint | 
|---|---|
| owner | equal to AVATAR | 
| wad | amount to redeem | 
Exit the DSR Vault through the DSR Manager with proxy
- Label: Exit_DSR-DSRManager-WithProxy
- Description: Exit the DSR Vault through the DSR Manager with proxy
- Actions in execution process:
- Withdraw funds from the DSR Vault via the DSR Manager with proxy
 
Proxy Actions DSR · exit
It first retrieves the proxy_contract attached to the user. Then, retrieves wad amount of DSR tokens from Pot and exits DAI token from
DaiJoin adapter (minting it).
- Contract:  Proxy Actions DSR
- Function: exit(address,address,uint256)
| Parameter | Constraint | 
|---|---|
| proxy | proxy address | 
| address | DaiJoin adapter | 
| address | Pot | 
| wad | amount to redeem |