Don't call shared_from_this() from a destructor
This commit is contained in:
		
							parent
							
								
									30c8c3ba2d
								
							
						
					
					
						commit
						080d607975
					
				
					 1 changed files with 1 additions and 1 deletions
				
			
		| 
						 | 
					@ -3081,7 +3081,7 @@ SubstitutionGoal::~SubstitutionGoal()
 | 
				
			||||||
    try {
 | 
					    try {
 | 
				
			||||||
        if (thr.joinable()) {
 | 
					        if (thr.joinable()) {
 | 
				
			||||||
            thr.join();
 | 
					            thr.join();
 | 
				
			||||||
            worker.childTerminated(shared_from_this());
 | 
					            //worker.childTerminated(shared_from_this()); // FIXME
 | 
				
			||||||
        }
 | 
					        }
 | 
				
			||||||
    } catch (...) {
 | 
					    } catch (...) {
 | 
				
			||||||
        ignoreException();
 | 
					        ignoreException();
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue