for ( i =1; i<= refUserInfo.Length() ; i++) {
if(refUserInfo(i).Search(REFERENCE_COUNTER) != -1) {
try { OCC_CATCH_SIGNALS theReferencesCounter=refUserInfo(i).Token(" ",2).IntegerValue();}
- catch (Standard_Failure) {
+ catch (Standard_Failure const&) {
// cout << "warning: could not read the reference counter in " << aFileName << endl;
TCollection_ExtendedString aMsg("Warning: ");
aMsg = aMsg.Cat("could not read the reference counter in ").Cat(aFileName).Cat("\0");
}
}
- catch (Standard_Failure) {}
+ catch (Standard_Failure const&) {}
if(theFileIsOpen) theFileDriver->Close();
for ( i =1; i<= refUserInfo.Length() ; i++) {
if(refUserInfo(i).Search(MODIFICATION_COUNTER) != -1) {
try { OCC_CATCH_SIGNALS theVersion=refUserInfo(i).Token(" ",2).IntegerValue();}
- catch (Standard_Failure) {
+ catch (Standard_Failure const&) {
// cout << "warning: could not read the version in " << aFileName << endl;
TCollection_ExtendedString aMsg("Warning: ");
aMsg = aMsg.Cat("could not read the version in ").Cat(aFileName).Cat("\0");
}
}
- catch (Standard_Failure) {}
+ catch (Standard_Failure const&) {}
if(theFileIsOpen) theFileDriver->Close();
delete theFileDriver;