Ticket #7752: trac_7752-delete-worksheet-quit.patch

File trac_7752-delete-worksheet-quit.patch, 852 bytes (added by timdumol, 3 years ago)

Quits a worksheet only if the only user viewing the worksheet is the person trashing it.

  • sagenb/notebook/worksheet.py 

    # HG changeset patch
# User Tim Dumol <tim@timdumol.com>
# Date 1263897658 -28800
# Node ID 62e4e60eef1f09551caa55ea13ddfd3e529f0ec7
# Parent  287edcbdd2ca9e680bbacc2c472ab74349c130a8
#7752 RAM is not free after deleting a worksheet

diff -r 287edcbdd2ca -r 62e4e60eef1f sagenb/notebook/worksheet.py
    a b  
    16101610            True 
    16111611        """ 
    16121612        self.set_user_view(user, ARCHIVED) 
     1613        if self.viewers() == [user]: 
     1614            self.quit() 
    16131615 
    16141616    def set_active(self, user): 
    16151617        """ 
    … …  
    16491651            True 
    16501652        """ 
    16511653        self.set_user_view(user, TRASH) 
     1654        if self.viewers() == [user]: 
     1655            self.quit() 
    16521656 
    16531657    def move_out_of_trash(self, user): 
    16541658        """