def strip_prefix(string, strip):
    """
    Strips a prefix from a string, if the string starts with the prefix.

    :param string: String that should have its prefix removed
    :param strip: Prefix to be removed
    :return: string with the prefix removed if it has the prefix, or else it
        just returns the original string
    """
    import re
    strip_esc = re.escape(strip)
    if re.match(strip_esc, string):
        return string[len(strip):]
    else:
        return string
def strip_prefix ( string , strip ) : import re strip_esc = re . escape ( strip ) if re . match ( strip_esc , string ) : return string [ len ( strip ) : ] else : return string
Strips a prefix from a string, if the string starts with the prefix.

    :param string: String that should have its prefix removed
    :param strip: Prefix to be removed
    :return: string with the prefix removed if it has the prefix, or else it
        just returns the original string