Melt chocolate in double boiler. Mix in sugar, flour, and salt. Add milk and eggs and cook until thick. It will be lumpy. Take off heat, add butter and vanilla and mix with mixer until smooth. Pour in graham pie shell and cool in refrigerator. Serve with whipped topping and shaved chocolate.