def separated_string_list(s, char):
    """ Return a list of non-empty strings separated with a given character """

    fields = s.split(char)
    l = []
    for s in fields:
        s = s.strip()
        if len(s) > 0:
            l.append(s)
    return l