Ignore:
Timestamp:
04/29/11 12:47:53 (14 years ago)
Author:
tbretz
Message:
Allow server names to end with a slash.
File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/FACT++/src/RemoteControl.cc

    r10429 r10493  
    1414            s = str.substr(0, p2);
    1515
    16         if (p2<p1)
     16        if (p2<p1 && p2!=str.length()-1)
    1717        {
    1818            const string c = str.substr(p2+1);
Note: See TracChangeset for help on using the changeset viewer.