[GRASS-dev] Re: [GRASS GIS] #1158: Removing vector map in Windows fails with "Unable to delete vector map"

[GRASS GIS]

#1158: Removing vector map in Windows fails with "Unable to delete vector map"
--------------------------------------------------------------------------+-
 Reporter:  lponti                                                        |       Owner:  grass-dev@…              
     Type:  defect                                                        |      Status:  new                      
 Priority:  blocker                                                       |   Milestone:  6.4.2                    
Component:  Vector                                                        |     Version:  6.4.0                    
 Keywords:  wingrass, g.mremove, wildcards, v.in.ogr, v.select, g.remove  |    Platform:  MSWindows 7              
      Cpu:  Unspecified                                                   |  
--------------------------------------------------------------------------+-

Comment(by glynn):

 Replying to [comment:37 mmetz]:

 > So does this mean that the DBMI driver is not properly closed?

 It certainly looks that way. Even if the client doesn't send
 DB_PROC_SHUTDOWN_DRIVER, the driver should get EOF on its stdin when the
 client terminates.

 Can you use e.g. Process Explorer and/or gdb to discover anything about
 the state of the driver process after the client terminates?

-- 
Ticket URL: <https://trac.osgeo.org/grass/ticket/1158#comment:38>
GRASS GIS <http://grass.osgeo.org>