Redirection from http to https is trivial on most http servers (nginx, apache, etc)