Ignore:
Timestamp:
06/26/12 12:54:31 (12 years ago)
Author:
tbretz
Message:
Of course when a server gets added it should not be removed
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/FACT++/src/DimState.cc

    r14087 r14234  
    2727
    2828        // If it starts with a - we have to remove an entry
    29         if (server[0]=='-' || server[0]=='+')
     29        if (server[0]=='-')
    3030        {
    3131            fServerList.erase(server.substr(1));
Note: See TracChangeset for help on using the changeset viewer.